このリボン・ディベロップメントは二線コマンドでない
fact1: このパリサイ人達は支給しない fact2: もし仮に「支給しない」物があるとすればこのパリサイ人達は雨樋である fact3: このホグワーツは支給しない fact4: もしある物が雨樋でないとすれば二線コマンドであるしかつそれは支給する fact5: もし仮にあのホームルームが引き手繰る一方で雨樋でないならこのリボン・ディベロップメントは二線コマンドでない fact6: あのホームルームは引き手繰る fact7: もしも何らかのものが引き手繰らないとすればそれは雨樋でないかもしくはそれは支給しない fact8: 「何かは配給するしその上それは相談し易い」ということは間違いだとするとそれは引き手繰らない fact9: もし仮に「あのホームルームは真新しいということはないかあるいはそれは雨樋だ」ということは偽だとすればこのリボン・ディベロップメントは雨樋でない fact10: 「支給する」ものはある fact11: もしもこのパリサイ人達が雨樋だがしかし引き手繰らないとするとあのホームルームは支給しない fact12: なにがしかのものは引き手繰らない fact13: もし仮にあの外国投資は尽き果てないとすると「弱過ぎるしまた見え辛い」ということは成り立たない fact14: もしもこのリボン・ディベロップメントが引き手繰らないけれどそれが二線コマンドだとするとあのホームルームは引き手繰るということはない fact15: もし仮にある物が支給しないならあのホームルームは引き手繰るけれどそれは雨樋でない fact16: もし仮にあるものは引き手繰らないならば「それは真新しいということはないか雨樋であるかまたは両方である」ということは嘘である fact17: もし何らかのものは見え辛くないとすれば「配給するし相談し易い」ということは成り立たない fact18: 「二線コマンドでない」物はある fact19: もしあの外国投資が真新しくないならばあのリボン・ディベロップメントは引き手繰らない一方でそれは二線コマンドである fact20: もし仮にとあるものが支給しないとしたらあのホームルームは引き手繰る fact21: あの外国投資は尽き果てない
fact1 -> int1: 「支給しない」ものはある; int1 & fact15 -> int2: 「あのホームルームは引き手繰るけどそれは雨樋でない」ということは確かだ; int2 & fact5 -> hypothesis;
fact1 -> int1: (Ex): ¬{A}x; int1 & fact15 -> int2: ({C}{a} & ¬{B}{a}); int2 & fact5 -> hypothesis;
このリボン・ディベロップメントは二線コマンドである
fact26 -> int3: 仮にこのリボン・ディベロップメントは雨樋でないとするとそれは二線コマンドであるしまた支給する; fact22 -> int4: 仮にあのホームルームは引き手繰らないなら「それは真新しいということはないかあるいはそれは雨樋であるかまたは両方ともだ」ということは誤っている; fact27 -> int5: 仮に「あのホームルームは配給するしおまけに相談し易い」ということは間違いだとすると「それは引き手繰らない」ということは事実だ; fact25 -> int6: もしあのホームルームは見え辛くないとすれば「配給するし相談し易い」ということは成り立たない; fact23 & fact28 -> int7: 「あの外国投資は弱過ぎるしさらにそれは見え辛い」ということは成り立たない; int7 -> int8: 「「弱過ぎるし加えて見え辛い」ということは嘘な」物はある;
$facts$ = fact1: このパリサイ人達は支給しない fact2: もし仮に「支給しない」物があるとすればこのパリサイ人達は雨樋である fact3: このホグワーツは支給しない fact4: もしある物が雨樋でないとすれば二線コマンドであるしかつそれは支給する fact5: もし仮にあのホームルームが引き手繰る一方で雨樋でないならこのリボン・ディベロップメントは二線コマンドでない fact6: あのホームルームは引き手繰る fact7: もしも何らかのものが引き手繰らないとすればそれは雨樋でないかもしくはそれは支給しない fact8: 「何かは配給するしその上それは相談し易い」ということは間違いだとするとそれは引き手繰らない fact9: もし仮に「あのホームルームは真新しいということはないかあるいはそれは雨樋だ」ということは偽だとすればこのリボン・ディベロップメントは雨樋でない fact10: 「支給する」ものはある fact11: もしもこのパリサイ人達が雨樋だがしかし引き手繰らないとするとあのホームルームは支給しない fact12: なにがしかのものは引き手繰らない fact13: もし仮にあの外国投資は尽き果てないとすると「弱過ぎるしまた見え辛い」ということは成り立たない fact14: もしもこのリボン・ディベロップメントが引き手繰らないけれどそれが二線コマンドだとするとあのホームルームは引き手繰るということはない fact15: もし仮にある物が支給しないならあのホームルームは引き手繰るけれどそれは雨樋でない fact16: もし仮にあるものは引き手繰らないならば「それは真新しいということはないか雨樋であるかまたは両方である」ということは嘘である fact17: もし何らかのものは見え辛くないとすれば「配給するし相談し易い」ということは成り立たない fact18: 「二線コマンドでない」物はある fact19: もしあの外国投資が真新しくないならばあのリボン・ディベロップメントは引き手繰らない一方でそれは二線コマンドである fact20: もし仮にとあるものが支給しないとしたらあのホームルームは引き手繰る fact21: あの外国投資は尽き果てない ; $hypothesis$ = このリボン・ディベロップメントは二線コマンドでない ; $proof$ = 
fact1 -> int1: 「支給しない」ものはある; int1 & fact15 -> int2: 「あのホームルームは引き手繰るけどそれは雨樋でない」ということは確かだ; int2 & fact5 -> hypothesis; __PROVED__
事実1: このパリサイ人達は支給しない
事実2: もし仮に「支給しない」物があるとすればこのパリサイ人達は雨樋である
事実3: このホグワーツは支給しない
事実4: もしある物が雨樋でないとすれば二線コマンドであるしかつそれは支給する
事実5: もし仮にあのホームルームが引き手繰る一方で雨樋でないならこのリボン・ディベロップメントは二線コマンドでない
事実6: あのホームルームは引き手繰る
事実7: もしも何らかのものが引き手繰らないとすればそれは雨樋でないかもしくはそれは支給しない
事実8: 「何かは配給するしその上それは相談し易い」ということは間違いだとするとそれは引き手繰らない
事実9: もし仮に「あのホームルームは真新しいということはないかあるいはそれは雨樋だ」ということは偽だとすればこのリボン・ディベロップメントは雨樋でない
事実10: 「支給する」ものはある
事実11: もしもこのパリサイ人達が雨樋だがしかし引き手繰らないとするとあのホームルームは支給しない
事実12: なにがしかのものは引き手繰らない
事実13: もし仮にあの外国投資は尽き果てないとすると「弱過ぎるしまた見え辛い」ということは成り立たない
事実14: もしもこのリボン・ディベロップメントが引き手繰らないけれどそれが二線コマンドだとするとあのホームルームは引き手繰るということはない
事実15: もし仮にある物が支給しないならあのホームルームは引き手繰るけれどそれは雨樋でない
事実16: もし仮にあるものは引き手繰らないならば「それは真新しいということはないか雨樋であるかまたは両方である」ということは嘘である
事実17: もし何らかのものは見え辛くないとすれば「配給するし相談し易い」ということは成り立たない
事実18: 「二線コマンドでない」物はある
事実19: もしあの外国投資が真新しくないならばあのリボン・ディベロップメントは引き手繰らない一方でそれは二線コマンドである
事実20: もし仮にとあるものが支給しないとしたらあのホームルームは引き手繰る
事実21: あの外国投資は尽き果てない

仮説: このリボン・ディベロップメントは二線コマンドでない
1. 事実1から、推論1: "「支給しない」ものはある"が導かれる
2. 推論1と事実15から、推論2: "「あのホームルームは引き手繰るけどそれは雨樋でない」ということは確かだ"が導かれる
3. 推論2と事実5から、仮説が導かれる

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