the fact that if the bluster is ripe that the bluster is not a Cetorhinus and it is not diatonic is not wrong is not true.
sent1: if there is something such that it is not a pastry the bluster is not diatonic. sent2: everything is a praya and it is not scholarly. sent3: something is not ripe if it is a praya that is a Cetorhinus. sent4: there is something such that the fact that it is not a pastry is right.
sent2 -> int1: the bluster is a praya that is not scholarly.; int1 -> int2: the bluster is a kind of a praya.; void -> assump2: Let's assume that the bluster is a Cetorhinus.; int2 & assump2 -> int3: the bluster is a praya and a Cetorhinus.; sent3 -> int4: if the bluster is both a praya and a Cetorhinus it is not ripe.; int3 & int4 -> int5: the bluster is not ripe.; void -> assump1: Let's assume that the bluster is ripe.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the bluster is not a Cetorhinus.; sent4 & sent1 -> int8: the bluster is not diatonic.; int7 & int8 -> int9: the bluster is not a Cetorhinus and it is not diatonic.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that if the bluster is ripe that the bluster is not a Cetorhinus and it is not diatonic is not wrong is not true. ; $context$ = sent1: if there is something such that it is not a pastry the bluster is not diatonic. sent2: everything is a praya and it is not scholarly. sent3: something is not ripe if it is a praya that is a Cetorhinus. sent4: there is something such that the fact that it is not a pastry is right. ; $proof$ = 
sent2 -> int1: the bluster is a praya that is not scholarly.; int1 -> int2: the bluster is a kind of a praya.; void -> assump2: Let's assume that the bluster is a Cetorhinus.; int2 & assump2 -> int3: the bluster is a praya and a Cetorhinus.; sent3 -> int4: if the bluster is both a praya and a Cetorhinus it is not ripe.; int3 & int4 -> int5: the bluster is not ripe.; void -> assump1: Let's assume that the bluster is ripe.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the bluster is not a Cetorhinus.; sent4 & sent1 -> int8: the bluster is not diatonic.; int7 & int8 -> int9: the bluster is not a Cetorhinus and it is not diatonic.; [assump1] & int9 -> hypothesis; __DISPROVED__