「あの焼香客は項構造でないけどそれは頼み難い」ということは間違っている
fact1: あの通常国会は用い始める fact2: あの通常国会は項構造だ fact3: 「この社会党員は移り易いし軽ーい」ということは間違っている fact4: あの通常国会は用い始めるとしたら「十チームでなくて移り易い」ということは間違っている fact5: 仮に「あの通常国会は平和惚けしないけれど用い始める」ということは真実でないならこの社会党員は用い始めない fact6: もしもあの単純形がムンチュするとしたらこの冬季オープン・カレッジは拒む fact7: もしもこの社会党員が平和惚けするしＬＰＴであるとしたらあのだんまりは拒まない fact8: あの単純形は項構造でない fact9: 「この無線局はムンチュする」ということは真実である fact10: あの単純形は通い出さない fact11: 「「あの南西隅は勘違いし易いということはないけれど拒む」ということは成り立つ」ということは誤っている fact12: この社会党員は平和惚けする fact13: もし「この社会党員は移り易い」ということは成り立つならあの通常国会はＬＰＴでない fact14: 「あの焼香客は拒まないが頼み難い」ということは誤っているとするとこの冬季オープン・カレッジは頼み難くない fact15: 仮にあのだんまりは拒まないならば「この冬季オープン・カレッジは移り易くないけど拒む」ということは成り立たない fact16: もし仮に「軽ーくない」物はあれば「あの焼香客は項構造でない一方でそれは頼み難い」ということは誤りである fact17: 「あの焼香客は項構造であるしおまけにムンチュする」ということは嘘である fact18: 何かはＬＰＴでないなら「それは軽ーいということはない」ということは真実だ fact19: 「あの行政行動は口調でないけれどそれは姉らしい」ということは成り立たない fact20: 「あの通常国会は十チームでないがしかし移り易い」ということは成り立たないならばあの冬季オープン・カレッジは移り易くない fact21: この研究ノートは平和惚けする fact22: 「あの単純形はムンチュする」ということは真実である fact23: もし仮にこの社会党員が拒むとするとこの冬季オープン・カレッジはＬＰＴでない fact24: 「あの通常国会は平和惚けしないがしかし十チームである」ということは誤っている
void -> assump1: 以下のように仮定する。この社会党員はＬＰＴだ; fact12 & assump1 -> int1: この社会党員は平和惚けするしＬＰＴである; int1 & fact7 -> int2: あのだんまりは拒まない; int2 & fact15 -> int3: 「この冬季オープン・カレッジは移り易くない一方で拒む」ということは誤っている; fact22 & fact6 -> int4: この冬季オープン・カレッジは拒む; fact4 & fact1 -> int5: 「あの通常国会は十チームでないがしかし移り易い」ということは誤りだ; int5 & fact20 -> int6: この冬季オープン・カレッジは移り易くない; int4 & int6 -> int7: この冬季オープン・カレッジは移り易くない一方で拒む; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この社会党員はＬＰＴでない; fact18 -> int10: 「もしもこの社会党員がＬＰＴでないならこの社会党員は軽ーくない」ということは本当だ; int9 & int10 -> int11: この社会党員は軽ーいということはない; int11 -> int12: とある物は軽ーくない; int12 & fact16 -> hypothesis;
$facts$ = fact1: あの通常国会は用い始める fact2: あの通常国会は項構造だ fact3: 「この社会党員は移り易いし軽ーい」ということは間違っている fact4: あの通常国会は用い始めるとしたら「十チームでなくて移り易い」ということは間違っている fact5: 仮に「あの通常国会は平和惚けしないけれど用い始める」ということは真実でないならこの社会党員は用い始めない fact6: もしもあの単純形がムンチュするとしたらこの冬季オープン・カレッジは拒む fact7: もしもこの社会党員が平和惚けするしＬＰＴであるとしたらあのだんまりは拒まない fact8: あの単純形は項構造でない fact9: 「この無線局はムンチュする」ということは真実である fact10: あの単純形は通い出さない fact11: 「「あの南西隅は勘違いし易いということはないけれど拒む」ということは成り立つ」ということは誤っている fact12: この社会党員は平和惚けする fact13: もし「この社会党員は移り易い」ということは成り立つならあの通常国会はＬＰＴでない fact14: 「あの焼香客は拒まないが頼み難い」ということは誤っているとするとこの冬季オープン・カレッジは頼み難くない fact15: 仮にあのだんまりは拒まないならば「この冬季オープン・カレッジは移り易くないけど拒む」ということは成り立たない fact16: もし仮に「軽ーくない」物はあれば「あの焼香客は項構造でない一方でそれは頼み難い」ということは誤りである fact17: 「あの焼香客は項構造であるしおまけにムンチュする」ということは嘘である fact18: 何かはＬＰＴでないなら「それは軽ーいということはない」ということは真実だ fact19: 「あの行政行動は口調でないけれどそれは姉らしい」ということは成り立たない fact20: 「あの通常国会は十チームでないがしかし移り易い」ということは成り立たないならばあの冬季オープン・カレッジは移り易くない fact21: この研究ノートは平和惚けする fact22: 「あの単純形はムンチュする」ということは真実である fact23: もし仮にこの社会党員が拒むとするとこの冬季オープン・カレッジはＬＰＴでない fact24: 「あの通常国会は平和惚けしないがしかし十チームである」ということは誤っている ; $hypothesis$ = 「あの焼香客は項構造でないけどそれは頼み難い」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この社会党員はＬＰＴだ; fact12 & assump1 -> int1: この社会党員は平和惚けするしＬＰＴである; int1 & fact7 -> int2: あのだんまりは拒まない; int2 & fact15 -> int3: 「この冬季オープン・カレッジは移り易くない一方で拒む」ということは誤っている; fact22 & fact6 -> int4: この冬季オープン・カレッジは拒む; fact4 & fact1 -> int5: 「あの通常国会は十チームでないがしかし移り易い」ということは誤りだ; int5 & fact20 -> int6: この冬季オープン・カレッジは移り易くない; int4 & int6 -> int7: この冬季オープン・カレッジは移り易くない一方で拒む; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この社会党員はＬＰＴでない; fact18 -> int10: 「もしもこの社会党員がＬＰＴでないならこの社会党員は軽ーくない」ということは本当だ; int9 & int10 -> int11: この社会党員は軽ーいということはない; int11 -> int12: とある物は軽ーくない; int12 & fact16 -> hypothesis; __PROVED__
事実1: あの通常国会は用い始める
事実2: あの通常国会は項構造だ
事実3: 「この社会党員は移り易いし軽ーい」ということは間違っている
事実4: あの通常国会は用い始めるとしたら「十チームでなくて移り易い」ということは間違っている
事実5: 仮に「あの通常国会は平和惚けしないけれど用い始める」ということは真実でないならこの社会党員は用い始めない
事実6: もしもあの単純形がムンチュするとしたらこの冬季オープン・カレッジは拒む
事実7: もしもこの社会党員が平和惚けするしＬＰＴであるとしたらあのだんまりは拒まない
事実8: あの単純形は項構造でない
事実9: 「この無線局はムンチュする」ということは真実である
事実10: あの単純形は通い出さない
事実11: 「「あの南西隅は勘違いし易いということはないけれど拒む」ということは成り立つ」ということは誤っている
事実12: この社会党員は平和惚けする
事実13: もし「この社会党員は移り易い」ということは成り立つならあの通常国会はＬＰＴでない
事実14: 「あの焼香客は拒まないが頼み難い」ということは誤っているとするとこの冬季オープン・カレッジは頼み難くない
事実15: 仮にあのだんまりは拒まないならば「この冬季オープン・カレッジは移り易くないけど拒む」ということは成り立たない
事実16: もし仮に「軽ーくない」物はあれば「あの焼香客は項構造でない一方でそれは頼み難い」ということは誤りである
事実17: 「あの焼香客は項構造であるしおまけにムンチュする」ということは嘘である
事実18: 何かはＬＰＴでないなら「それは軽ーいということはない」ということは真実だ
事実19: 「あの行政行動は口調でないけれどそれは姉らしい」ということは成り立たない
事実20: 「あの通常国会は十チームでないがしかし移り易い」ということは成り立たないならばあの冬季オープン・カレッジは移り易くない
事実21: この研究ノートは平和惚けする
事実22: 「あの単純形はムンチュする」ということは真実である
事実23: もし仮にこの社会党員が拒むとするとこの冬季オープン・カレッジはＬＰＴでない
事実24: 「あの通常国会は平和惚けしないがしかし十チームである」ということは誤っている

仮説: 「あの焼香客は項構造でないけどそれは頼み難い」ということは間違っている
1. 仮定1: 以下のように仮定する。この社会党員はＬＰＴだ
2. 事実12と仮定1から、推論1: "この社会党員は平和惚けするしＬＰＴである"が導かれる
3. 推論1と事実7から、推論2: "あのだんまりは拒まない"が導かれる
4. 推論2と事実15から、推論3: "「この冬季オープン・カレッジは移り易くない一方で拒む」ということは誤っている"が導かれる
5. 事実22と事実6から、推論4: "この冬季オープン・カレッジは拒む"が導かれる
6. 事実4と事実1から、推論5: "「あの通常国会は十チームでないがしかし移り易い」ということは誤りだ"が導かれる
7. 推論5と事実20から、推論6: "この冬季オープン・カレッジは移り易くない"が導かれる
8. 推論4と推論6から、推論7: "この冬季オープン・カレッジは移り易くない一方で拒む"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この社会党員はＬＰＴでない"が導かれる
11. 事実18から、推論10: "「もしもこの社会党員がＬＰＴでないならこの社会党員は軽ーくない」ということは本当だ"が導かれる
12. 推論9と推論10から、推論11: "この社会党員は軽ーいということはない"が導かれる
13. 推論11から、推論12: "とある物は軽ーくない"が導かれる
14. 推論12と事実16から、仮説が導かれる

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