あの六時頃は大偉人でないし仮処分申請でない
fact1: あの六時頃は呼吸しない fact2: 仮に何かは農民解放であるとすれば「大偉人でないし仮処分申請でない」ということは成り立たない fact3: その当権派は大偉人だ fact4: あのテルモスは生活し易いということはないがしかし仮表示する fact5: このヘッドコーチは仮処分申請でない fact6: もし仮にその十八：零零サントリーホールは無視出来ないとすると「あのテルモスは町人貸しである一方で物珍しいということはない」ということは事実だ fact7: あの六時頃は農民解放でない fact8: あの六時頃は違くないしおまけに法律顧問だということはない fact9: もしもあのテルモスが町人貸しであるがしかしそれは物珍しくないなら「あの六時頃は町人貸しでない」ということは本当である fact10: 仮に何らかの物が町人貸しであるということはないとしたら農民解放だし立ち入りだ fact11: あの六時頃は跳梁する fact12: あのテルモスは大蔵だということはない fact13: あのテルモスは立ち入りでない fact14: あのテルモスは農民解放でない fact15: 「その峠越えは仮処分申請でないが驚嘆する」ということは成り立つ fact16: もし仮にあの六時頃が農民解放だとしたらあのテルモスは立ち入りだ fact17: このウォッチングは仮処分申請でない fact18: あの六時頃は仮処分申請でないがしかし立ち入りだ fact19: 仮にあの六時頃が大偉人であるとしたらあのテルモスは農民解放だ fact20: あの六時頃は立ち入りである
void -> assump1: 以下のように仮定する。「あの六時頃は大偉人だ」ということは事実だ; fact19 & assump1 -> int1: あのテルモスは農民解放である; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの六時頃は大偉人でない; fact18 -> int4: あの六時頃は仮処分申請でない; int3 & int4 -> hypothesis;
「あの六時頃は大偉人でないしかつ仮処分申請でない」ということは成り立たない
fact22 -> int5: もしもあの六時頃は農民解放ならば「大偉人であるということはないししかもそれは仮処分申請でない」ということは嘘だ; fact21 -> int6: あの六時頃が町人貸しでないとしたら農民解放で立ち入りである;
$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: 以下のように仮定する。「あの六時頃は大偉人だ」ということは事実だ; fact19 & assump1 -> int1: あのテルモスは農民解放である; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの六時頃は大偉人でない; fact18 -> int4: あの六時頃は仮処分申請でない; int3 & int4 -> 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. 事実19と仮定1から、推論1: "あのテルモスは農民解放である"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの六時頃は大偉人でない"が導かれる
5. 事実18から、推論4: "あの六時頃は仮処分申請でない"が導かれる
6. 推論3と推論4から、仮説が導かれる

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