if the cornflower is not big the generation is not a watchmaker but a Excalibur.
sent1: the generation is not a watchmaker but it is a kind of a Excalibur if the cornflower is big. sent2: the fact that that the cornflower is big is not wrong if the generation does unclothe cornflower is correct. sent3: something is not a watchmaker if it is not a visionary. sent4: the generation is not periodontic. sent5: the generation is Viennese. sent6: if something does not unclothe cornflower then it is not a kind of a visionary.
void -> assump2: Let's assume that the generation does unclothe cornflower.; sent2 & assump2 -> int1: the cornflower is big.; void -> assump1: Let's assume that the cornflower is not big.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the generation does not unclothe cornflower is not false.; sent6 -> int4: the generation is not a visionary if it does not unclothe cornflower.; int3 & int4 -> int5: that the generation is not a visionary hold.; sent3 -> int6: if the generation is not a kind of a visionary then it is not a kind of a watchmaker.; int5 & int6 -> int7: the generation is not a watchmaker.;
$hypothesis$ = if the cornflower is not big the generation is not a watchmaker but a Excalibur. ; $context$ = sent1: the generation is not a watchmaker but it is a kind of a Excalibur if the cornflower is big. sent2: the fact that that the cornflower is big is not wrong if the generation does unclothe cornflower is correct. sent3: something is not a watchmaker if it is not a visionary. sent4: the generation is not periodontic. sent5: the generation is Viennese. sent6: if something does not unclothe cornflower then it is not a kind of a visionary. ; $proof$ = 
void -> assump2: Let's assume that the generation does unclothe cornflower.; sent2 & assump2 -> int1: the cornflower is big.; void -> assump1: Let's assume that the cornflower is not big.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the generation does not unclothe cornflower is not false.; sent6 -> int4: the generation is not a visionary if it does not unclothe cornflower.; int3 & int4 -> int5: that the generation is not a visionary hold.; sent3 -> int6: if the generation is not a kind of a visionary then it is not a kind of a watchmaker.; int5 & int6 -> int7: the generation is not a watchmaker.; __UNKNOWN__