「この米国内は角食パンだがしかしそれは話し難くない」ということは成り立つということはない
fact1: もしもとあるものが図太くないかそれが配達しないならば図太くない fact2: 「この米国内は角食パンだしその上話し難い」ということは成り立たない fact3: 「この米国内は絡み合う」ということは正しいとするとそれは図太いということはないかもしくはそれは配達しないかもしくは両方ともだ fact4: もし仮にとあるものが図太くないなら角食パンであるけど話し難くない fact5: 「「図太い」物はあるなら「「この米国内は角食パンであるがそれは話し難くない」ということは事実である」ということは成り立たない」ということは確かだ fact6: あるものは図太い fact7: もし仮にある物は図太いなら「この米国内は角食パンであるしさらにそれは話し難い」ということは成り立たない fact8: もしも「話し難い」ものはあれば「この米国内は捨て為さるが射殺しない」ということは成り立たない
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
この米国内は角食パンだ一方で話し難いということはない
fact9 -> int1: もしもこの米国内が図太くないとすればそれは角食パンであるがしかし話し難くない; fact10 -> int2: もしもこの米国内が図太くないかそれは配達しないかまたはどちらもだとすればそれは図太くない;
$facts$ = fact1: もしもとあるものが図太くないかそれが配達しないならば図太くない fact2: 「この米国内は角食パンだしその上話し難い」ということは成り立たない fact3: 「この米国内は絡み合う」ということは正しいとするとそれは図太いということはないかもしくはそれは配達しないかもしくは両方ともだ fact4: もし仮にとあるものが図太くないなら角食パンであるけど話し難くない fact5: 「「図太い」物はあるなら「「この米国内は角食パンであるがそれは話し難くない」ということは事実である」ということは成り立たない」ということは確かだ fact6: あるものは図太い fact7: もし仮にある物は図太いなら「この米国内は角食パンであるしさらにそれは話し難い」ということは成り立たない fact8: もしも「話し難い」ものはあれば「この米国内は捨て為さるが射殺しない」ということは成り立たない ; $hypothesis$ = 「この米国内は角食パンだがしかしそれは話し難くない」ということは成り立つということはない ; $proof$ = 
fact6 & fact5 -> hypothesis; __PROVED__
事実1: もしもとあるものが図太くないかそれが配達しないならば図太くない
事実2: 「この米国内は角食パンだしその上話し難い」ということは成り立たない
事実3: 「この米国内は絡み合う」ということは正しいとするとそれは図太いということはないかもしくはそれは配達しないかもしくは両方ともだ
事実4: もし仮にとあるものが図太くないなら角食パンであるけど話し難くない
事実5: 「「図太い」物はあるなら「「この米国内は角食パンであるがそれは話し難くない」ということは事実である」ということは成り立たない」ということは確かだ
事実6: あるものは図太い
事実7: もし仮にある物は図太いなら「この米国内は角食パンであるしさらにそれは話し難い」ということは成り立たない
事実8: もしも「話し難い」ものはあれば「この米国内は捨て為さるが射殺しない」ということは成り立たない

仮説: 「この米国内は角食パンだがしかしそれは話し難くない」ということは成り立つということはない
1. 事実6と事実5から、仮説が導かれる

よって、仮説が証明されました。