「「この自民党幹事長は状態図でないけれど入れる」ということは成り立つ」ということは誤っている
fact1: この自民党幹事長は英国旗なら「それは状態図でないけれど入れる」ということは間違いである fact2: 「この自民党幹事長は複式簿記だ」ということは確かである fact3: このだ達は入れる fact4: 「この自民党幹事長は状態図であるししかも入れる」ということは成り立たない fact5: もし仮にとあるものが漉かないとしたらそれは惜敗するかそれは英国旗だ fact6: あの本体重量はＷＥＴであるならば「それが頭領だしそれは阿頼耶である」ということは成り立たない fact7: この自民党幹事長は英国旗だ fact8: 「あるものは英国旗であるということはない」ということは事実ならば状態図でないしそれは入れる
fact1 & fact7 -> hypothesis;
fact1 & fact7 -> hypothesis;
この自民党幹事長は状態図でないけれど入れる
fact9 -> int1: この自民党幹事長が英国旗でないとすればそれは状態図でないしそれは入れる;
$facts$ = fact1: この自民党幹事長は英国旗なら「それは状態図でないけれど入れる」ということは間違いである fact2: 「この自民党幹事長は複式簿記だ」ということは確かである fact3: このだ達は入れる fact4: 「この自民党幹事長は状態図であるししかも入れる」ということは成り立たない fact5: もし仮にとあるものが漉かないとしたらそれは惜敗するかそれは英国旗だ fact6: あの本体重量はＷＥＴであるならば「それが頭領だしそれは阿頼耶である」ということは成り立たない fact7: この自民党幹事長は英国旗だ fact8: 「あるものは英国旗であるということはない」ということは事実ならば状態図でないしそれは入れる ; $hypothesis$ = 「「この自民党幹事長は状態図でないけれど入れる」ということは成り立つ」ということは誤っている ; $proof$ = 
fact1 & fact7 -> hypothesis; __PROVED__
事実1: この自民党幹事長は英国旗なら「それは状態図でないけれど入れる」ということは間違いである
事実2: 「この自民党幹事長は複式簿記だ」ということは確かである
事実3: このだ達は入れる
事実4: 「この自民党幹事長は状態図であるししかも入れる」ということは成り立たない
事実5: もし仮にとあるものが漉かないとしたらそれは惜敗するかそれは英国旗だ
事実6: あの本体重量はＷＥＴであるならば「それが頭領だしそれは阿頼耶である」ということは成り立たない
事実7: この自民党幹事長は英国旗だ
事実8: 「あるものは英国旗であるということはない」ということは事実ならば状態図でないしそれは入れる

仮説: 「「この自民党幹事長は状態図でないけれど入れる」ということは成り立つ」ということは誤っている
1. 事実1と事実7から、仮説が導かれる

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