「このサーキットカートは際限無くないが洒落臭い」ということは誤っている
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: あのＨＥＭＴは馬鹿馬鹿しかない fact26: このサーキットカートは解き放つ fact27: このタイムアップは徒らっぽいししかも後詰めである
fact10 -> int1: もしもこのタイムアップは解き放たないとすると「それは徒らっぽくない」ということは真実だ; void -> assump1: 以下のように仮定する。このタイムアップは解き放たない; int1 & assump1 -> int2: このタイムアップは徒らっぽいということはない; fact27 -> int3: このタイムアップは徒らっぽい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このタイムアップは解き放つ; fact7 & fact15 -> int6: この移動車は馬鹿馬鹿しかなくてまたそれは変化し易くない; fact5 & int6 -> int7: このタイムアップは刺々しい; int5 & int7 -> int8: このタイムアップは解き放つしまたそれは刺々しい; int8 & fact1 -> int9: その総合課税は洒落臭いということはない; int9 & fact21 -> hypothesis;
あの為替変動リスクは製造出来るし加えて後詰めだ
fact28 -> int10: 「あの為替変動リスクは製造出来る」ということは確かである; fact29 -> int11: あの為替変動リスクは刺々しいなら「それは後詰めである」ということは事実である;
$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: あのＨＥＭＴは馬鹿馬鹿しかない fact26: このサーキットカートは解き放つ fact27: このタイムアップは徒らっぽいししかも後詰めである ; $hypothesis$ = 「このサーキットカートは際限無くないが洒落臭い」ということは誤っている ; $proof$ = 
fact10 -> int1: もしもこのタイムアップは解き放たないとすると「それは徒らっぽくない」ということは真実だ; void -> assump1: 以下のように仮定する。このタイムアップは解き放たない; int1 & assump1 -> int2: このタイムアップは徒らっぽいということはない; fact27 -> int3: このタイムアップは徒らっぽい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このタイムアップは解き放つ; fact7 & fact15 -> int6: この移動車は馬鹿馬鹿しかなくてまたそれは変化し易くない; fact5 & int6 -> int7: このタイムアップは刺々しい; int5 & int7 -> int8: このタイムアップは解き放つしまたそれは刺々しい; int8 & fact1 -> int9: その総合課税は洒落臭いということはない; int9 & fact21 -> 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: あのＨＥＭＴは馬鹿馬鹿しかない
事実26: このサーキットカートは解き放つ
事実27: このタイムアップは徒らっぽいししかも後詰めである

仮説: 「このサーキットカートは際限無くないが洒落臭い」ということは誤っている
1. 事実10から、推論1: "もしもこのタイムアップは解き放たないとすると「それは徒らっぽくない」ということは真実だ"が導かれる
2. 仮定1: 以下のように仮定する。このタイムアップは解き放たない
3. 推論1と仮定1から、推論2: "このタイムアップは徒らっぽいということはない"が導かれる
4. 事実27から、推論3: "このタイムアップは徒らっぽい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このタイムアップは解き放つ"が導かれる
7. 事実7と事実15から、推論6: "この移動車は馬鹿馬鹿しかなくてまたそれは変化し易くない"が導かれる
8. 事実5と推論6から、推論7: "このタイムアップは刺々しい"が導かれる
9. 推論5と推論7から、推論8: "このタイムアップは解き放つしまたそれは刺々しい"が導かれる
10. 推論8と事実1から、推論9: "その総合課税は洒落臭いということはない"が導かれる
11. 推論9と事実21から、仮説が否定される

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