the fact that the fact that the loom is not antiviral but it does drone is wrong if the fiddleneck is preventable is not true.
sent1: that the fiddleneck is not preventable and is antiviral is not correct. sent2: the fact that the loom is not an antiviral but it drones is right if the fiddleneck is not unpreventable. sent3: that the loom is a kind of an antiviral that is a drone is not right. sent4: the transistor is an antiviral if the fiddleneck does sedate. sent5: if something is a kind of a ianfu then that it is not incomparable and it is not a kind of a drone is not right. sent6: if that something is not incomparable and is not a drone is false that it is incomparable is not wrong. sent7: the fact that the loom is both antiviral and a drone is wrong if the fiddleneck is preventable. sent8: if the transistor is a kind of an antiviral then the loom is not a kind of an antiviral and drones. sent9: if the fiddleneck is preventable then it sedates. sent10: the predator is an antiviral. sent11: if the transistor is antiviral the fact that the loom is a kind of an antiviral and is a drone does not hold. sent12: if the fiddleneck is asymmetrical then it is a ianfu. sent13: the loom is a kind of non-antiviral thing that drones. sent14: the loom is a redstart. sent15: that the loom is a kind of non-antiviral a drone is not true if the transistor is an antiviral. sent16: if the fiddleneck is a kind of an antiviral then the loom is preventable. sent17: that the transistor does not sedate and is antiviral does not hold if the loom is preventable. sent18: if that something is incomparable is correct then it is preventable thing that does not sedate.
void -> assump1: Let's assume that the fiddleneck is preventable.; sent9 & assump1 -> int1: the fiddleneck sedates.; int1 & sent4 -> int2: the transistor is an antiviral.; int2 & sent15 -> int3: the fact that the loom is not antiviral and is a kind of a drone is false.; [assump1] & int3 -> hypothesis;
the tyrocidine is an antiviral.
sent18 -> int4: if the fiddleneck is incomparable then the fact that it is preventable and it does not sedate is not false.; sent6 -> int5: if the fact that the fiddleneck is both not incomparable and not a drone is wrong then it is incomparable.; sent5 -> int6: that the fiddleneck is not incomparable and it is not a drone does not hold if it is a ianfu.;
$hypothesis$ = the fact that the fact that the loom is not antiviral but it does drone is wrong if the fiddleneck is preventable is not true. ; $context$ = sent1: that the fiddleneck is not preventable and is antiviral is not correct. sent2: the fact that the loom is not an antiviral but it drones is right if the fiddleneck is not unpreventable. sent3: that the loom is a kind of an antiviral that is a drone is not right. sent4: the transistor is an antiviral if the fiddleneck does sedate. sent5: if something is a kind of a ianfu then that it is not incomparable and it is not a kind of a drone is not right. sent6: if that something is not incomparable and is not a drone is false that it is incomparable is not wrong. sent7: the fact that the loom is both antiviral and a drone is wrong if the fiddleneck is preventable. sent8: if the transistor is a kind of an antiviral then the loom is not a kind of an antiviral and drones. sent9: if the fiddleneck is preventable then it sedates. sent10: the predator is an antiviral. sent11: if the transistor is antiviral the fact that the loom is a kind of an antiviral and is a drone does not hold. sent12: if the fiddleneck is asymmetrical then it is a ianfu. sent13: the loom is a kind of non-antiviral thing that drones. sent14: the loom is a redstart. sent15: that the loom is a kind of non-antiviral a drone is not true if the transistor is an antiviral. sent16: if the fiddleneck is a kind of an antiviral then the loom is preventable. sent17: that the transistor does not sedate and is antiviral does not hold if the loom is preventable. sent18: if that something is incomparable is correct then it is preventable thing that does not sedate. ; $proof$ = 
void -> assump1: Let's assume that the fiddleneck is preventable.; sent9 & assump1 -> int1: the fiddleneck sedates.; int1 & sent4 -> int2: the transistor is an antiviral.; int2 & sent15 -> int3: the fact that the loom is not antiviral and is a kind of a drone is false.; [assump1] & int3 -> hypothesis; __DISPROVED__