the furniture is a kind of unalert thing that is not legal if the bayonet billows GATT.
sent1: the bayonet is unalert if the furniture billows GATT. sent2: the bayonet is illegal. sent3: the fact that something is parenteral and not a contention is not true if it is not a pinole. sent4: something is not a kind of a teapot if it is a tracheophyte. sent5: the furniture billows perpetration. sent6: the bayonet is legal but it does not billow GATT if the furniture is a kind of a pinole. sent7: there is something such that it is unalert and it is not legal. sent8: if there is something such that it is not unalert then the furniture does billow GATT. sent9: the furniture does shore perihelion and is not a kind of a Rosicrucian. sent10: the furniture is unalert but it does not billow GATT if the bayonet is legal. sent11: if something is a kind of a pinole then it does not billow GATT. sent12: the furniture billows GATT and is not legal if that the bayonet is a pinole is right. sent13: if something is not unalert then the bayonet is a pinole. sent14: the fact that something is legal hold. sent15: if that the furniture billows GATT is not wrong the bayonet is a pinole that is unalert. sent16: there exists something such that the fact that it is unalert and legal is not correct. sent17: if there is something such that that it is not alert and it is not legal is incorrect the bayonet is a pinole.
void -> assump2: Let's assume that that the furniture is unalert but it is not legal does not hold.; assump2 -> int1: there is something such that that it is unalert and is not legal does not hold.; int1 & sent17 -> int2: the bayonet is a pinole.; sent11 -> int3: if the fact that the bayonet is a pinole is true then that it does not billow GATT is true.; int2 & int3 -> int4: the bayonet does not billow GATT.; void -> assump1: Let's assume that the bayonet does billow GATT.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the furniture is unalert but it is not legal.; [assump1] & int6 -> hypothesis;
there exists something such that that it is parenteral and it is not a kind of a contention is not right.
sent3 -> int7: if the bayonet is not a pinole that it is parenteral thing that is not a kind of a contention is not true.;
$hypothesis$ = the furniture is a kind of unalert thing that is not legal if the bayonet billows GATT. ; $context$ = sent1: the bayonet is unalert if the furniture billows GATT. sent2: the bayonet is illegal. sent3: the fact that something is parenteral and not a contention is not true if it is not a pinole. sent4: something is not a kind of a teapot if it is a tracheophyte. sent5: the furniture billows perpetration. sent6: the bayonet is legal but it does not billow GATT if the furniture is a kind of a pinole. sent7: there is something such that it is unalert and it is not legal. sent8: if there is something such that it is not unalert then the furniture does billow GATT. sent9: the furniture does shore perihelion and is not a kind of a Rosicrucian. sent10: the furniture is unalert but it does not billow GATT if the bayonet is legal. sent11: if something is a kind of a pinole then it does not billow GATT. sent12: the furniture billows GATT and is not legal if that the bayonet is a pinole is right. sent13: if something is not unalert then the bayonet is a pinole. sent14: the fact that something is legal hold. sent15: if that the furniture billows GATT is not wrong the bayonet is a pinole that is unalert. sent16: there exists something such that the fact that it is unalert and legal is not correct. sent17: if there is something such that that it is not alert and it is not legal is incorrect the bayonet is a pinole. ; $proof$ = 
void -> assump2: Let's assume that that the furniture is unalert but it is not legal does not hold.; assump2 -> int1: there is something such that that it is unalert and is not legal does not hold.; int1 & sent17 -> int2: the bayonet is a pinole.; sent11 -> int3: if the fact that the bayonet is a pinole is true then that it does not billow GATT is true.; int2 & int3 -> int4: the bayonet does not billow GATT.; void -> assump1: Let's assume that the bayonet does billow GATT.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the furniture is unalert but it is not legal.; [assump1] & int6 -> hypothesis; __PROVED__