the fact that the merchant does beat controlling if the guardsman is a patricide is wrong.
sent1: if something does beat contraceptive and is a Sphingidae then it is a copyright. sent2: the merchant beats controlling if the guardsman does copyright. sent3: the merchant is a kind of a Sphingidae. sent4: if something does not beat contraceptive but it is a kind of a Sphingidae it does copyright. sent5: the guardsman does beat controlling. sent6: the phone does not symbolize bologna and does beat controlling. sent7: something that does not beat controlling and is a Sphingidae is a kind of a patricide. sent8: something is not dyslexic if the fact that it does not beat fiddlestick does not hold. sent9: if that the merchant is a kind of a patricide is true then the fact that the bologna is a Sphingidae is correct. sent10: something does not beat contraceptive and is a Sphingidae if it is a patricide.
sent10 -> int1: the fact that the guardsman does not beat contraceptive but it is a Sphingidae is true if it is a patricide.; void -> assump1: Let's assume that the guardsman is a kind of a patricide.; int1 & assump1 -> int2: the guardsman does not beat contraceptive but it is a Sphingidae.; sent4 -> int3: if the guardsman does not beat contraceptive but it is a Sphingidae then it is a copyright.; int2 & int3 -> int4: the guardsman copyrights.; int4 & sent2 -> int5: the merchant beats controlling.; [assump1] & int5 -> hypothesis;
the bologna is a kind of a Sphingidae.
$hypothesis$ = the fact that the merchant does beat controlling if the guardsman is a patricide is wrong. ; $context$ = sent1: if something does beat contraceptive and is a Sphingidae then it is a copyright. sent2: the merchant beats controlling if the guardsman does copyright. sent3: the merchant is a kind of a Sphingidae. sent4: if something does not beat contraceptive but it is a kind of a Sphingidae it does copyright. sent5: the guardsman does beat controlling. sent6: the phone does not symbolize bologna and does beat controlling. sent7: something that does not beat controlling and is a Sphingidae is a kind of a patricide. sent8: something is not dyslexic if the fact that it does not beat fiddlestick does not hold. sent9: if that the merchant is a kind of a patricide is true then the fact that the bologna is a Sphingidae is correct. sent10: something does not beat contraceptive and is a Sphingidae if it is a patricide. ; $proof$ = 
sent10 -> int1: the fact that the guardsman does not beat contraceptive but it is a Sphingidae is true if it is a patricide.; void -> assump1: Let's assume that the guardsman is a kind of a patricide.; int1 & assump1 -> int2: the guardsman does not beat contraceptive but it is a Sphingidae.; sent4 -> int3: if the guardsman does not beat contraceptive but it is a Sphingidae then it is a copyright.; int2 & int3 -> int4: the guardsman copyrights.; int4 & sent2 -> int5: the merchant beats controlling.; [assump1] & int5 -> hypothesis; __DISPROVED__