either the fitting is a Paradisaeidae or it is not orthoptic or both.
sent1: the frigate does escort pavilion if there is something such that that it is oleophobic and it is not anagogic is not true. sent2: something is not autodidactic and/or it is not a remuda if it is metabolic. sent3: if the cider is a cockspur the concrete is a kind of a cockspur. sent4: the frigate is Jurassic and it is impure if the double is not a Taiwanese. sent5: if something that escorts pavilion is orthoptic then it is not a Jurassic. sent6: if the airbrush is not autodidactic or is not a remuda or both the Chiron is not a kind of a remuda. sent7: if the double does not escort pavilion the fact that the frigate is not orthoptic but a Jurassic does not hold. sent8: if that the cider is not a iron-grey and it is not a cockspur is not correct then it is a cockspur. sent9: the hemiacetal is a pome or it dwarfs Myrsine or both if something is not a remuda. sent10: that the double is Taiwanese and a pome is false. sent11: if the fact that the double is not non-Taiwanese and is a pome is not true it is not a non-Taiwanese. sent12: the fitting is not orthoptic if that the frigate is not orthoptic but it is Jurassic does not hold. sent13: if the concrete is not metabolic and it does not interfere flashover then that the airbrush is not metabolic is right. sent14: the fact that the fitting is a Paradisaeidae or not orthoptic or both is not correct if the frigate is orthoptic. sent15: there is something such that that it is oleophobic and non-anagogic is incorrect. sent16: the fact that the cider is both not a iron-grey and not a cockspur does not hold. sent17: if the step is not a pome then it is not a Taiwanese and not pure. sent18: that the fitting is a kind of a fantasist or is not a kind of a pome or both is incorrect. sent19: the step is not a kind of a pome if the hemiacetal is a pome and/or it dwarfs Myrsine. sent20: something is a kind of non-metabolic thing that does not interfere flashover if it is a kind of a cockspur.
sent15 & sent1 -> int1: the frigate escorts pavilion.; void -> assump1: Let's assume that the fact that the frigate is orthoptic hold.; int1 & assump1 -> int2: the frigate escorts pavilion and is orthoptic.; sent5 -> int3: the frigate is not a kind of a Jurassic if it does escort pavilion and is orthoptic.; int2 & int3 -> int4: the frigate is not a Jurassic.; sent11 & sent10 -> int5: the double is non-Taiwanese.; sent4 & int5 -> int6: that the frigate is Jurassic and it is impure is not false.; int6 -> int7: the fact that the frigate is not Jurassic does not hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the frigate is not orthoptic.; int9 & sent14 -> hypothesis;
either the fitting is a Paradisaeidae or it is not orthoptic or both.
sent2 -> int10: the airbrush is not autodidactic or it is not a remuda or both if it is metabolic.; sent20 -> int11: if the concrete is a cockspur it is not metabolic and it does not interfere flashover.; sent8 & sent16 -> int12: the cider is a cockspur.; sent3 & int12 -> int13: the concrete is a cockspur.; int11 & int13 -> int14: the concrete is non-metabolic thing that does not interfere flashover.; sent13 & int14 -> int15: the airbrush is metabolic.; int10 & int15 -> int16: the airbrush is either non-autodidactic or not a remuda or both.; sent6 & int16 -> int17: the Chiron is not a kind of a remuda.; int17 -> int18: there exists something such that it is not a kind of a remuda.; int18 & sent9 -> int19: either the hemiacetal is a pome or it does dwarf Myrsine or both.; sent19 & int19 -> int20: the step is not a kind of a pome.; sent17 & int20 -> int21: the step is not a kind of a Taiwanese but it is impure.; int21 -> int22: there is something such that it is not a Taiwanese and is impure.;
$hypothesis$ = either the fitting is a Paradisaeidae or it is not orthoptic or both. ; $context$ = sent1: the frigate does escort pavilion if there is something such that that it is oleophobic and it is not anagogic is not true. sent2: something is not autodidactic and/or it is not a remuda if it is metabolic. sent3: if the cider is a cockspur the concrete is a kind of a cockspur. sent4: the frigate is Jurassic and it is impure if the double is not a Taiwanese. sent5: if something that escorts pavilion is orthoptic then it is not a Jurassic. sent6: if the airbrush is not autodidactic or is not a remuda or both the Chiron is not a kind of a remuda. sent7: if the double does not escort pavilion the fact that the frigate is not orthoptic but a Jurassic does not hold. sent8: if that the cider is not a iron-grey and it is not a cockspur is not correct then it is a cockspur. sent9: the hemiacetal is a pome or it dwarfs Myrsine or both if something is not a remuda. sent10: that the double is Taiwanese and a pome is false. sent11: if the fact that the double is not non-Taiwanese and is a pome is not true it is not a non-Taiwanese. sent12: the fitting is not orthoptic if that the frigate is not orthoptic but it is Jurassic does not hold. sent13: if the concrete is not metabolic and it does not interfere flashover then that the airbrush is not metabolic is right. sent14: the fact that the fitting is a Paradisaeidae or not orthoptic or both is not correct if the frigate is orthoptic. sent15: there is something such that that it is oleophobic and non-anagogic is incorrect. sent16: the fact that the cider is both not a iron-grey and not a cockspur does not hold. sent17: if the step is not a pome then it is not a Taiwanese and not pure. sent18: that the fitting is a kind of a fantasist or is not a kind of a pome or both is incorrect. sent19: the step is not a kind of a pome if the hemiacetal is a pome and/or it dwarfs Myrsine. sent20: something is a kind of non-metabolic thing that does not interfere flashover if it is a kind of a cockspur. ; $proof$ = 
sent15 & sent1 -> int1: the frigate escorts pavilion.; void -> assump1: Let's assume that the fact that the frigate is orthoptic hold.; int1 & assump1 -> int2: the frigate escorts pavilion and is orthoptic.; sent5 -> int3: the frigate is not a kind of a Jurassic if it does escort pavilion and is orthoptic.; int2 & int3 -> int4: the frigate is not a Jurassic.; sent11 & sent10 -> int5: the double is non-Taiwanese.; sent4 & int5 -> int6: that the frigate is Jurassic and it is impure is not false.; int6 -> int7: the fact that the frigate is not Jurassic does not hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the frigate is not orthoptic.; int9 & sent14 -> hypothesis; __DISPROVED__