その特注は明記しない
fact1: そのポシェはプログラマでない fact2: もしもそのポシェが荒々しいけれどプログラマでないとすればこの細君は明記する fact3: もしそのポシェが夫婦する一方でプログラマでないならこの細君は荒々しい fact4: もしもあの三十年以上が弱いとするとこの風邪症候群は打ち捨てる fact5: 仮に何かは魅入られないけれど促進するとしたら廃仏毀釈でない fact6: もしもこの細君がしょっぱくないかまたは冷風でないかあるいは両方であるとするとそのポシェはしょっぱいということはない fact7: あのベーキングソーダはプログラマでない fact8: もし仮にとある物が確認し易くないとしたらあの三十年以上は合わせ辛くない fact9: そのポシェは四十九人である一方で荒々しくない fact10: もし仮にこの風邪症候群は廃仏毀釈でないとしたら「欲望するし保護者達だ」ということは誤りだ fact11: この細君はペ茶であるがしかし夫婦しない fact12: この細君は明記しない fact13: もしそのポシェが夫婦するしその上プログラマであるとすればこの細君は荒々しい fact14: 仮にある物が打ち捨てればそれは魅入られないけれど促進する fact15: もし「あの三十年以上は合わせ辛くない」ということは成り立つとすればそれは弱いか打ち捨てるかまたは両方である fact16: もしその両当事者間は出現し続けないとしたらそれは確認し易いということはない fact17: この細君が荒々しいならその特注は明記するということはない fact18: 仮にそのポシェがしょっぱいということはないとすればその特注は荒々しくて明記する fact19: もしあの三十年以上が打ち捨てるならばあの風邪症候群は打ち捨てる fact20: 仮にそのポシェが明記するとしたらその特注は夫婦しない fact21: そのポシェは夫婦するがしかしプログラマでない fact22: その両当事者間は出現し続けない
fact3 & fact21 -> int1: 「この細君は荒々しい」ということは確かである; int1 & fact17 -> hypothesis;
fact3 & fact21 -> int1: {B}{b}; int1 & fact17 -> hypothesis;
その特注は明記する
fact26 -> int2: この風邪症候群は魅入られないが促進すれば廃仏毀釈だということはない; fact31 -> int3: この風邪症候群が打ち捨てるとするとそれは魅入られないがしかし促進する; fact32 & fact28 -> int4: その両当事者間は確認し易くない; int4 -> int5: 「「「確認し易くない」ということは真実な」物はある」ということは真実である; int5 & fact33 -> int6: あの三十年以上は合わせ辛いということはない; fact25 & int6 -> int7: あの三十年以上は弱いかあるいは打ち捨てる; int7 & fact27 & fact24 -> int8: この風邪症候群は打ち捨てる; int3 & int8 -> int9: この風邪症候群は魅入られないが促進する; int2 & int9 -> int10: この風邪症候群は廃仏毀釈でない; fact23 & int10 -> int11: 「この風邪症候群は欲望するしそれは保護者達だ」ということは真実でない; int11 -> int12: 「「欲望するしおまけに保護者達だ」ということは成り立たない」物はある;
$facts$ = fact1: そのポシェはプログラマでない fact2: もしもそのポシェが荒々しいけれどプログラマでないとすればこの細君は明記する fact3: もしそのポシェが夫婦する一方でプログラマでないならこの細君は荒々しい fact4: もしもあの三十年以上が弱いとするとこの風邪症候群は打ち捨てる fact5: 仮に何かは魅入られないけれど促進するとしたら廃仏毀釈でない fact6: もしもこの細君がしょっぱくないかまたは冷風でないかあるいは両方であるとするとそのポシェはしょっぱいということはない fact7: あのベーキングソーダはプログラマでない fact8: もし仮にとある物が確認し易くないとしたらあの三十年以上は合わせ辛くない fact9: そのポシェは四十九人である一方で荒々しくない fact10: もし仮にこの風邪症候群は廃仏毀釈でないとしたら「欲望するし保護者達だ」ということは誤りだ fact11: この細君はペ茶であるがしかし夫婦しない fact12: この細君は明記しない fact13: もしそのポシェが夫婦するしその上プログラマであるとすればこの細君は荒々しい fact14: 仮にある物が打ち捨てればそれは魅入られないけれど促進する fact15: もし「あの三十年以上は合わせ辛くない」ということは成り立つとすればそれは弱いか打ち捨てるかまたは両方である fact16: もしその両当事者間は出現し続けないとしたらそれは確認し易いということはない fact17: この細君が荒々しいならその特注は明記するということはない fact18: 仮にそのポシェがしょっぱいということはないとすればその特注は荒々しくて明記する fact19: もしあの三十年以上が打ち捨てるならばあの風邪症候群は打ち捨てる fact20: 仮にそのポシェが明記するとしたらその特注は夫婦しない fact21: そのポシェは夫婦するがしかしプログラマでない fact22: その両当事者間は出現し続けない ; $hypothesis$ = その特注は明記しない ; $proof$ = 
fact3 & fact21 -> int1: 「この細君は荒々しい」ということは確かである; int1 & fact17 -> hypothesis; __PROVED__
事実1: そのポシェはプログラマでない
事実2: もしもそのポシェが荒々しいけれどプログラマでないとすればこの細君は明記する
事実3: もしそのポシェが夫婦する一方でプログラマでないならこの細君は荒々しい
事実4: もしもあの三十年以上が弱いとするとこの風邪症候群は打ち捨てる
事実5: 仮に何かは魅入られないけれど促進するとしたら廃仏毀釈でない
事実6: もしもこの細君がしょっぱくないかまたは冷風でないかあるいは両方であるとするとそのポシェはしょっぱいということはない
事実7: あのベーキングソーダはプログラマでない
事実8: もし仮にとある物が確認し易くないとしたらあの三十年以上は合わせ辛くない
事実9: そのポシェは四十九人である一方で荒々しくない
事実10: もし仮にこの風邪症候群は廃仏毀釈でないとしたら「欲望するし保護者達だ」ということは誤りだ
事実11: この細君はペ茶であるがしかし夫婦しない
事実12: この細君は明記しない
事実13: もしそのポシェが夫婦するしその上プログラマであるとすればこの細君は荒々しい
事実14: 仮にある物が打ち捨てればそれは魅入られないけれど促進する
事実15: もし「あの三十年以上は合わせ辛くない」ということは成り立つとすればそれは弱いか打ち捨てるかまたは両方である
事実16: もしその両当事者間は出現し続けないとしたらそれは確認し易いということはない
事実17: この細君が荒々しいならその特注は明記するということはない
事実18: 仮にそのポシェがしょっぱいということはないとすればその特注は荒々しくて明記する
事実19: もしあの三十年以上が打ち捨てるならばあの風邪症候群は打ち捨てる
事実20: 仮にそのポシェが明記するとしたらその特注は夫婦しない
事実21: そのポシェは夫婦するがしかしプログラマでない
事実22: その両当事者間は出現し続けない

仮説: その特注は明記しない
1. 事実3と事実21から、推論1: "「この細君は荒々しい」ということは確かである"が導かれる
2. 推論1と事実17から、仮説が導かれる

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