「そのバーマンはジオキサンだ」ということは本当だ
fact1: その五年正月吉日は渡り合えるけどそれは薄くない fact2: 「朝貢する」ものはある fact3: そのバーマンは免れない fact4: その茜色は朝貢しない fact5: もしも何かは作り過ぎるということはないならば「ジオキサンであるけど薄くない」ということは成り立たない fact6: もしもあの技能講習修了証は朝貢するとすると「そのバーマンはジオキサンだ」ということは真実だ fact7: もしもとあるものは惨いということはないとすれば「特別純米酒だしそれに粘り強くない」ということは誤りである fact8: もし仮に「特別純米酒な」ものがあるとするとそのバーマンは捕球しないしそれに死に掛けない fact9: 仮に「「朝貢する」ということは事実である」ものがあるならそのバーマンは腫瘍マーカーだがしかし特別純米酒でない fact10: そのバーマンはあどけないということはない fact11: 「そのバーマンは痛感しないし太しない」ということは事実だ fact12: そのバーマンは正装である一方で動詞変化でない fact13: もし「そのバーマンは朝貢するか腫瘍マーカーであるということはない」ということは成り立たないならその法的権利は朝貢しない fact14: そのバーマンは出走出来るということはないならば「縋るしそれは腫瘍マーカーだということはない」ということは事実と異なる fact15: そのバーマンは朝貢しない fact16: 「そのバーマンは参加し易いが汎化しない」ということは誤りだ fact17: 「あどけない」物はある fact18: その新境地は参加し易い fact19: もしも「薄い」物があるとしたらこの府令は口汚い fact20: 「仮に腫瘍マーカーは特別純米酒でないならば薄くない」ということは確かだ fact21: 仮に「示唆出来る」ものがあるとしたらその大同小異はあどけないということはない fact22: もし仮になにかは朝貢するなら「ジオキサンだ」ということは確かである fact23: 「参加し易い」ものはある fact24: もし「あどけない」物があるとしたらそのバーマンは作り過ぎないし参加し易くない fact25: とあるものは有害物だ
fact2 & fact9 -> int1: そのバーマンは腫瘍マーカーだがしかし特別純米酒でない; fact20 -> int2: 仮にそのバーマンは腫瘍マーカーだけど特別純米酒でないなら薄くない; int1 & int2 -> int3: そのバーマンは薄くない; void -> assump1: 以下のように仮定する。そのバーマンはジオキサンだ; int3 & assump1 -> int4: そのバーマンはジオキサンだがしかし薄くない; fact24 & fact17 -> int5: そのバーマンは作り過ぎないしそれは参加し易いということはない; int5 -> int6: そのバーマンは作り過ぎるということはない; fact5 -> int7: 「もしもそのバーマンは作り過ぎないなら「そのバーマンはジオキサンであるけど薄くない」ということは誤りである」ということは真実である; int6 & int7 -> int8: 「そのバーマンはジオキサンであるが薄くない」ということは成り立たない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
そのバーマンはジオキサンである
fact26 -> int10: 「そのバーマンは朝貢する」ということは事実だとすればそれはジオキサンだ;
$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: もし「あどけない」物があるとしたらそのバーマンは作り過ぎないし参加し易くない fact25: とあるものは有害物だ ; $hypothesis$ = 「そのバーマンはジオキサンだ」ということは本当だ ; $proof$ = 
fact2 & fact9 -> int1: そのバーマンは腫瘍マーカーだがしかし特別純米酒でない; fact20 -> int2: 仮にそのバーマンは腫瘍マーカーだけど特別純米酒でないなら薄くない; int1 & int2 -> int3: そのバーマンは薄くない; void -> assump1: 以下のように仮定する。そのバーマンはジオキサンだ; int3 & assump1 -> int4: そのバーマンはジオキサンだがしかし薄くない; fact24 & fact17 -> int5: そのバーマンは作り過ぎないしそれは参加し易いということはない; int5 -> int6: そのバーマンは作り過ぎるということはない; fact5 -> int7: 「もしもそのバーマンは作り過ぎないなら「そのバーマンはジオキサンであるけど薄くない」ということは誤りである」ということは真実である; int6 & int7 -> int8: 「そのバーマンはジオキサンであるが薄くない」ということは成り立たない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: その五年正月吉日は渡り合えるけどそれは薄くない
事実2: 「朝貢する」ものはある
事実3: そのバーマンは免れない
事実4: その茜色は朝貢しない
事実5: もしも何かは作り過ぎるということはないならば「ジオキサンであるけど薄くない」ということは成り立たない
事実6: もしもあの技能講習修了証は朝貢するとすると「そのバーマンはジオキサンだ」ということは真実だ
事実7: もしもとあるものは惨いということはないとすれば「特別純米酒だしそれに粘り強くない」ということは誤りである
事実8: もし仮に「特別純米酒な」ものがあるとするとそのバーマンは捕球しないしそれに死に掛けない
事実9: 仮に「「朝貢する」ということは事実である」ものがあるならそのバーマンは腫瘍マーカーだがしかし特別純米酒でない
事実10: そのバーマンはあどけないということはない
事実11: 「そのバーマンは痛感しないし太しない」ということは事実だ
事実12: そのバーマンは正装である一方で動詞変化でない
事実13: もし「そのバーマンは朝貢するか腫瘍マーカーであるということはない」ということは成り立たないならその法的権利は朝貢しない
事実14: そのバーマンは出走出来るということはないならば「縋るしそれは腫瘍マーカーだということはない」ということは事実と異なる
事実15: そのバーマンは朝貢しない
事実16: 「そのバーマンは参加し易いが汎化しない」ということは誤りだ
事実17: 「あどけない」物はある
事実18: その新境地は参加し易い
事実19: もしも「薄い」物があるとしたらこの府令は口汚い
事実20: 「仮に腫瘍マーカーは特別純米酒でないならば薄くない」ということは確かだ
事実21: 仮に「示唆出来る」ものがあるとしたらその大同小異はあどけないということはない
事実22: もし仮になにかは朝貢するなら「ジオキサンだ」ということは確かである
事実23: 「参加し易い」ものはある
事実24: もし「あどけない」物があるとしたらそのバーマンは作り過ぎないし参加し易くない
事実25: とあるものは有害物だ

仮説: 「そのバーマンはジオキサンだ」ということは本当だ
1. 事実2と事実9から、推論1: "そのバーマンは腫瘍マーカーだがしかし特別純米酒でない"が導かれる
2. 事実20から、推論2: "仮にそのバーマンは腫瘍マーカーだけど特別純米酒でないなら薄くない"が導かれる
3. 推論1と推論2から、推論3: "そのバーマンは薄くない"が導かれる
4. 仮定1: 以下のように仮定する。そのバーマンはジオキサンだ
5. 推論3と仮定1から、推論4: "そのバーマンはジオキサンだがしかし薄くない"が導かれる
6. 事実24と事実17から、推論5: "そのバーマンは作り過ぎないしそれは参加し易いということはない"が導かれる
7. 推論5から、推論6: "そのバーマンは作り過ぎるということはない"が導かれる
8. 事実5から、推論7: "「もしもそのバーマンは作り過ぎないなら「そのバーマンはジオキサンであるけど薄くない」ということは誤りである」ということは真実である"が導かれる
9. 推論6と推論7から、推論8: "「そのバーマンはジオキサンであるが薄くない」ということは成り立たない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

よって、仮説が否定されました。