the orpine is a screw.
sent1: if the orpine does not bid but it is photoconductive the butch is not a bid. sent2: the instructress is not electrostatic but it is Florentine. sent3: if the fact that the orpine is not photoconductive is right then it does bid and/or it is pasta. sent4: if the orpine is scapulohumeral and/or it does enjoy Lyra it is not a permanent. sent5: the orpine is scapulohumeral if that it is not photoconductive and it does bid does not hold. sent6: that the orpine is not photoconductive but it is a kind of a bidding is false if the instructress is not a kind of a pasta. sent7: if something is a kind of non-electrostatic a Florentine then it is not a pasta. sent8: a impermanent thing is not a kind of a screw.
sent7 -> int1: if the instructress is not electrostatic but it is a kind of a Florentine then it is not pasta.; int1 & sent2 -> int2: the fact that the instructress is not pasta is not wrong.; int2 & sent6 -> int3: that the orpine is non-photoconductive and does bid is incorrect.; int3 & sent5 -> int4: the orpine is scapulohumeral.; int4 -> int5: either the orpine is scapulohumeral or it enjoys Lyra or both.; int5 & sent4 -> int6: the orpine is not a permanent.; sent8 -> int7: the orpine does not screw if it is not a permanent.; int6 & int7 -> hypothesis;
the orpine screws.
$hypothesis$ = the orpine is a screw. ; $context$ = sent1: if the orpine does not bid but it is photoconductive the butch is not a bid. sent2: the instructress is not electrostatic but it is Florentine. sent3: if the fact that the orpine is not photoconductive is right then it does bid and/or it is pasta. sent4: if the orpine is scapulohumeral and/or it does enjoy Lyra it is not a permanent. sent5: the orpine is scapulohumeral if that it is not photoconductive and it does bid does not hold. sent6: that the orpine is not photoconductive but it is a kind of a bidding is false if the instructress is not a kind of a pasta. sent7: if something is a kind of non-electrostatic a Florentine then it is not a pasta. sent8: a impermanent thing is not a kind of a screw. ; $proof$ = 
sent7 -> int1: if the instructress is not electrostatic but it is a kind of a Florentine then it is not pasta.; int1 & sent2 -> int2: the fact that the instructress is not pasta is not wrong.; int2 & sent6 -> int3: that the orpine is non-photoconductive and does bid is incorrect.; int3 & sent5 -> int4: the orpine is scapulohumeral.; int4 -> int5: either the orpine is scapulohumeral or it enjoys Lyra or both.; int5 & sent4 -> int6: the orpine is not a permanent.; sent8 -> int7: the orpine does not screw if it is not a permanent.; int6 & int7 -> hypothesis; __DISPROVED__