the guilloche is a kind of a cardcase.
sent1: the fluorocarbon is not unthinkable if there is something such that it is caducean. sent2: if the fluorocarbon is autologous then that it is unthinkable is right. sent3: that the SHAPE is non-impotent thing that is caducean does not hold. sent4: something is not impotent and it is not caducean. sent5: if the SHAPE is a kind of a piano then the fact that the guilloche is algolagnic is not incorrect. sent6: there exists something such that the fact that it is impotent and it is not caducean is not correct. sent7: that the SHAPE is not impotent and is caducean is not true if it does not tag lemonade. sent8: the guilloche is a cardcase if it is algolagnic. sent9: the fluorocarbon is false if it is a cardcase. sent10: there exists something such that the fact that it is not impotent but caducean is wrong. sent11: the fact that the fluorocarbon is both not non-autologous and not lithic hold. sent12: if something tags lemonade the fact that it is not a fly and is not a reprobation is not true. sent13: if the SHAPE does not tag lemonade then that it is potent and it is not caducean is false. sent14: that the fluorocarbon is not lithic is correct. sent15: the SHAPE is a cardcase. sent16: the fluorocarbon is not unthinkable if there is something such that that it is not impotent and it is not caducean is not correct.
void -> assump1: Let's assume that the SHAPE does not tag lemonade.; sent13 & assump1 -> int1: the fact that the SHAPE is not impotent and is non-caducean is not right.; int1 -> int2: there is something such that that it is not impotent and not caducean is not true.; int2 & sent16 -> int3: the fluorocarbon is not unthinkable.; sent11 -> int4: the fluorocarbon is autologous.; sent2 & int4 -> int5: the fluorocarbon is unthinkable.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the SHAPE does tag lemonade.;
there is something such that that it does not fly and is not a kind of a reprobation is false.
sent12 -> int8: if the fluorocarbon does tag lemonade that it does not fly and is not a reprobation is not true.;
$hypothesis$ = the guilloche is a kind of a cardcase. ; $context$ = sent1: the fluorocarbon is not unthinkable if there is something such that it is caducean. sent2: if the fluorocarbon is autologous then that it is unthinkable is right. sent3: that the SHAPE is non-impotent thing that is caducean does not hold. sent4: something is not impotent and it is not caducean. sent5: if the SHAPE is a kind of a piano then the fact that the guilloche is algolagnic is not incorrect. sent6: there exists something such that the fact that it is impotent and it is not caducean is not correct. sent7: that the SHAPE is not impotent and is caducean is not true if it does not tag lemonade. sent8: the guilloche is a cardcase if it is algolagnic. sent9: the fluorocarbon is false if it is a cardcase. sent10: there exists something such that the fact that it is not impotent but caducean is wrong. sent11: the fact that the fluorocarbon is both not non-autologous and not lithic hold. sent12: if something tags lemonade the fact that it is not a fly and is not a reprobation is not true. sent13: if the SHAPE does not tag lemonade then that it is potent and it is not caducean is false. sent14: that the fluorocarbon is not lithic is correct. sent15: the SHAPE is a cardcase. sent16: the fluorocarbon is not unthinkable if there is something such that that it is not impotent and it is not caducean is not correct. ; $proof$ = 
void -> assump1: Let's assume that the SHAPE does not tag lemonade.; sent13 & assump1 -> int1: the fact that the SHAPE is not impotent and is non-caducean is not right.; int1 -> int2: there is something such that that it is not impotent and not caducean is not true.; int2 & sent16 -> int3: the fluorocarbon is not unthinkable.; sent11 -> int4: the fluorocarbon is autologous.; sent2 & int4 -> int5: the fluorocarbon is unthinkable.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the SHAPE does tag lemonade.; __UNKNOWN__