あの二位尼は小高い
fact1: 仮にそのリーダが蹴飛ばすし小高いならばあの合併症は内相でない fact2: あの二位尼は煙たくない fact3: 「そのリーダは拡大解釈しない」ということは成り立つ fact4: もし仮にそのリーダは有し得れば蹴飛ばす fact5: そのリーダは小高い fact6: 「「あの二位尼は小高いけど蹴飛ばさない」ということは嘘だ」ということは真実だ fact7: そのリーダは小高いがしかし煙たくない fact8: この学校長は小高い fact9: そのリーダは小気味良いけど見出だし難くない fact10: あの対質は蹴飛ばす fact11: 「その林間は蹴飛ばさない」ということは成り立つ fact12: 仮にそのリーダが煙たいとしたらあの二位尼は小高い fact13: もしそのリーダが有し得る一方で小高いということはないとしたらあの二位尼は小高くない fact14: そのリーダは煙たくない fact15: 「そのリーダは蹴飛ばさない」ということは成り立つ fact16: もし「あの合併症は二チャンネルだがひもじいということはない」ということは事実でないならばそれは煙たくない fact17: もし仮に「そのリーダは有し得るがしかし煙たくない」ということは成り立つということはないとしたらあの二位尼は小高い fact18: 「そのリーダは有し得るしまた煙たい」ということは成り立たない fact19: もしあのＣ点は二チャンネルでないし更に中心導体でないとすると「蹴飛ばす」ということは成り立つ fact20: 「「あの合併症は二チャンネルであるがしかしひもじくない」ということは成り立つ」ということは誤っている
void -> assump1: 以下のように仮定する。そのリーダは有し得るがそれは煙たくない; assump1 -> int1: そのリーダは有し得る; int1 & fact4 -> int2: そのリーダは蹴飛ばす; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのリーダは有し得るけれどそれは煙たくない」ということは間違いだ; int4 & fact17 -> hypothesis;
あの二位尼は小高くない
$facts$ = fact1: 仮にそのリーダが蹴飛ばすし小高いならばあの合併症は内相でない fact2: あの二位尼は煙たくない fact3: 「そのリーダは拡大解釈しない」ということは成り立つ fact4: もし仮にそのリーダは有し得れば蹴飛ばす fact5: そのリーダは小高い fact6: 「「あの二位尼は小高いけど蹴飛ばさない」ということは嘘だ」ということは真実だ fact7: そのリーダは小高いがしかし煙たくない fact8: この学校長は小高い fact9: そのリーダは小気味良いけど見出だし難くない fact10: あの対質は蹴飛ばす fact11: 「その林間は蹴飛ばさない」ということは成り立つ fact12: 仮にそのリーダが煙たいとしたらあの二位尼は小高い fact13: もしそのリーダが有し得る一方で小高いということはないとしたらあの二位尼は小高くない fact14: そのリーダは煙たくない fact15: 「そのリーダは蹴飛ばさない」ということは成り立つ fact16: もし「あの合併症は二チャンネルだがひもじいということはない」ということは事実でないならばそれは煙たくない fact17: もし仮に「そのリーダは有し得るがしかし煙たくない」ということは成り立つということはないとしたらあの二位尼は小高い fact18: 「そのリーダは有し得るしまた煙たい」ということは成り立たない fact19: もしあのＣ点は二チャンネルでないし更に中心導体でないとすると「蹴飛ばす」ということは成り立つ fact20: 「「あの合併症は二チャンネルであるがしかしひもじくない」ということは成り立つ」ということは誤っている ; $hypothesis$ = あの二位尼は小高い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのリーダは有し得るがそれは煙たくない; assump1 -> int1: そのリーダは有し得る; int1 & fact4 -> int2: そのリーダは蹴飛ばす; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのリーダは有し得るけれどそれは煙たくない」ということは間違いだ; int4 & fact17 -> hypothesis; __PROVED__
事実1: 仮にそのリーダが蹴飛ばすし小高いならばあの合併症は内相でない
事実2: あの二位尼は煙たくない
事実3: 「そのリーダは拡大解釈しない」ということは成り立つ
事実4: もし仮にそのリーダは有し得れば蹴飛ばす
事実5: そのリーダは小高い
事実6: 「「あの二位尼は小高いけど蹴飛ばさない」ということは嘘だ」ということは真実だ
事実7: そのリーダは小高いがしかし煙たくない
事実8: この学校長は小高い
事実9: そのリーダは小気味良いけど見出だし難くない
事実10: あの対質は蹴飛ばす
事実11: 「その林間は蹴飛ばさない」ということは成り立つ
事実12: 仮にそのリーダが煙たいとしたらあの二位尼は小高い
事実13: もしそのリーダが有し得る一方で小高いということはないとしたらあの二位尼は小高くない
事実14: そのリーダは煙たくない
事実15: 「そのリーダは蹴飛ばさない」ということは成り立つ
事実16: もし「あの合併症は二チャンネルだがひもじいということはない」ということは事実でないならばそれは煙たくない
事実17: もし仮に「そのリーダは有し得るがしかし煙たくない」ということは成り立つということはないとしたらあの二位尼は小高い
事実18: 「そのリーダは有し得るしまた煙たい」ということは成り立たない
事実19: もしあのＣ点は二チャンネルでないし更に中心導体でないとすると「蹴飛ばす」ということは成り立つ
事実20: 「「あの合併症は二チャンネルであるがしかしひもじくない」ということは成り立つ」ということは誤っている

仮説: あの二位尼は小高い
1. 仮定1: 以下のように仮定する。そのリーダは有し得るがそれは煙たくない
2. 仮定1から、推論1: "そのリーダは有し得る"が導かれる
3. 推論1と事実4から、推論2: "そのリーダは蹴飛ばす"が導かれる
4. 推論2と事実15から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのリーダは有し得るけれどそれは煙たくない」ということは間違いだ"が導かれる
6. 推論4と事実17から、仮説が導かれる

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