その審査基準は聞き捨て成る
fact1: その審査基準は見交わさない fact2: あの精神健康維持は華燭だということはない fact3: 「その審査基準は第二撃でない」ということは成り立たない fact4: この当代島が青くないならそれは分かり難いし加えて分かち難い fact5: このバリケットは放送しないなら「それは嫌味ったらしくて看過し難い」ということは本当だ fact6: もし仮にこのカリタ式が聞き捨て成らないけどそれが嫌味ったらしいならその審査基準は聞き捨て成らない fact7: もしもその審査基準が嫌味ったらしくないなら聞き捨て成るしそれは華燭である fact8: その審査基準は選び出す fact9: 仮にこの根本命題が嫌味ったらしいとすればこのカリタ式は嫌味ったらしい fact10: もしなにがしかの物が恥ずかしくて心弱いとしたらこのカリタ式は聞き捨て成るということはない fact11: あの航続距離は恥ずかしくてそれにそれは心弱い fact12: その審査基準は華燭である fact13: あの閉幕は埃っぽくて御注文頂ける fact14: もしその審査基準が嫌味ったらしくないならそれは華燭だ fact15: その審査基準は嫌味ったらしくない
fact7 & fact15 -> int1: その審査基準は聞き捨て成るし華燭である; int1 -> hypothesis;
fact7 & fact15 -> int1: ({AA}{a} & {AB}{a}); int1 -> hypothesis;
その審査基準は聞き捨て成らない
fact17 -> int2: ある物は恥ずかしくて心弱い; int2 & fact19 -> int3: このカリタ式は聞き捨て成らない;
$facts$ = fact1: その審査基準は見交わさない fact2: あの精神健康維持は華燭だということはない fact3: 「その審査基準は第二撃でない」ということは成り立たない fact4: この当代島が青くないならそれは分かり難いし加えて分かち難い fact5: このバリケットは放送しないなら「それは嫌味ったらしくて看過し難い」ということは本当だ fact6: もし仮にこのカリタ式が聞き捨て成らないけどそれが嫌味ったらしいならその審査基準は聞き捨て成らない fact7: もしもその審査基準が嫌味ったらしくないなら聞き捨て成るしそれは華燭である fact8: その審査基準は選び出す fact9: 仮にこの根本命題が嫌味ったらしいとすればこのカリタ式は嫌味ったらしい fact10: もしなにがしかの物が恥ずかしくて心弱いとしたらこのカリタ式は聞き捨て成るということはない fact11: あの航続距離は恥ずかしくてそれにそれは心弱い fact12: その審査基準は華燭である fact13: あの閉幕は埃っぽくて御注文頂ける fact14: もしその審査基準が嫌味ったらしくないならそれは華燭だ fact15: その審査基準は嫌味ったらしくない ; $hypothesis$ = その審査基準は聞き捨て成る ; $proof$ = 
fact7 & fact15 -> int1: その審査基準は聞き捨て成るし華燭である; int1 -> hypothesis; __PROVED__
事実1: その審査基準は見交わさない
事実2: あの精神健康維持は華燭だということはない
事実3: 「その審査基準は第二撃でない」ということは成り立たない
事実4: この当代島が青くないならそれは分かり難いし加えて分かち難い
事実5: このバリケットは放送しないなら「それは嫌味ったらしくて看過し難い」ということは本当だ
事実6: もし仮にこのカリタ式が聞き捨て成らないけどそれが嫌味ったらしいならその審査基準は聞き捨て成らない
事実7: もしもその審査基準が嫌味ったらしくないなら聞き捨て成るしそれは華燭である
事実8: その審査基準は選び出す
事実9: 仮にこの根本命題が嫌味ったらしいとすればこのカリタ式は嫌味ったらしい
事実10: もしなにがしかの物が恥ずかしくて心弱いとしたらこのカリタ式は聞き捨て成るということはない
事実11: あの航続距離は恥ずかしくてそれにそれは心弱い
事実12: その審査基準は華燭である
事実13: あの閉幕は埃っぽくて御注文頂ける
事実14: もしその審査基準が嫌味ったらしくないならそれは華燭だ
事実15: その審査基準は嫌味ったらしくない

仮説: その審査基準は聞き捨て成る
1. 事実7と事実15から、推論1: "その審査基準は聞き捨て成るし華燭である"が導かれる
2. 推論1から、仮説が導かれる

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