この引っ手繰りは切り離せなくて冗談ぽくない
fact1: あの御協力は降臨する fact2: もし「ある物は作らないしおまけに冗談ぽくない」ということは誤りであるとすればそれは冗談ぽい fact3: もし「あの会社整理は冗談ぽくない」ということは成り立つなら「この引っ手繰りは切り離せなくて冗談ぽくない」ということは間違いである fact4: 「あの御協力はばあかしい」ということは成り立つ fact5: その御宅は冷め難いということはないし専門医師でない fact6: もしも「あの会社整理は冗談ぽくない」ということは真実であるならば「この引っ手繰りは切り離せるけど冗談ぽいということはない」ということは成り立たない fact7: 「この引っ手繰りは切り離せるけれど冗談ぽくない」ということは間違っている fact8: この引っ手繰りが降臨するしそれは切り離せるとすれば「あの会社整理は冗談ぽくない」ということは成り立つ fact9: この魚市場は降臨しない fact10: 「この引っ手繰りは切り離せないけれど冗談ぽい」ということは事実と異なる fact11: あの会社整理は冗談ぽくないとすると「「この引っ手繰りは切り離せないがしかしそれは冗談ぽい」ということは真実である」ということは誤っている fact12: あの会社整理は極まり悪いということはない fact13: あのナザレ衆は降臨する fact14: この魚市場が冗談ぽくないとしたらあの会社整理は極まり悪くないし加えてそれは冗談ぽくない fact15: もしこの魚市場が冗談ぽくないならあの会社整理は極まり悪くない fact16: もしもあの御協力が降臨するしおまけにばあかしいならばこの魚市場は冗談ぽくない fact17: もしとある物は極まり悪いなら「作らないしその上冗談ぽいということはない」ということは偽だ fact18: この引っ手繰りはばあかしい
fact1 & fact4 -> int1: あの御協力は降臨するしおまけにばあかしい; int1 & fact16 -> int2: この魚市場は冗談ぽいということはない; int2 & fact14 -> int3: あの会社整理は極まり悪くなくてそれに冗談ぽくない; int3 -> int4: あの会社整理は冗談ぽくない; int4 & fact3 -> hypothesis;
この魚市場は降臨する
fact20 -> int5: もしも「あの御協力は作らないしさらに冗談ぽくない」ということは間違っているとしたらそれは冗談ぽい; fact19 -> int6: もし仮にあの御協力は極まり悪いとしたら「それは作らないし冗談ぽくない」ということは間違っている;
$facts$ = fact1: あの御協力は降臨する fact2: もし「ある物は作らないしおまけに冗談ぽくない」ということは誤りであるとすればそれは冗談ぽい fact3: もし「あの会社整理は冗談ぽくない」ということは成り立つなら「この引っ手繰りは切り離せなくて冗談ぽくない」ということは間違いである fact4: 「あの御協力はばあかしい」ということは成り立つ fact5: その御宅は冷め難いということはないし専門医師でない fact6: もしも「あの会社整理は冗談ぽくない」ということは真実であるならば「この引っ手繰りは切り離せるけど冗談ぽいということはない」ということは成り立たない fact7: 「この引っ手繰りは切り離せるけれど冗談ぽくない」ということは間違っている fact8: この引っ手繰りが降臨するしそれは切り離せるとすれば「あの会社整理は冗談ぽくない」ということは成り立つ fact9: この魚市場は降臨しない fact10: 「この引っ手繰りは切り離せないけれど冗談ぽい」ということは事実と異なる fact11: あの会社整理は冗談ぽくないとすると「「この引っ手繰りは切り離せないがしかしそれは冗談ぽい」ということは真実である」ということは誤っている fact12: あの会社整理は極まり悪いということはない fact13: あのナザレ衆は降臨する fact14: この魚市場が冗談ぽくないとしたらあの会社整理は極まり悪くないし加えてそれは冗談ぽくない fact15: もしこの魚市場が冗談ぽくないならあの会社整理は極まり悪くない fact16: もしもあの御協力が降臨するしおまけにばあかしいならばこの魚市場は冗談ぽくない fact17: もしとある物は極まり悪いなら「作らないしその上冗談ぽいということはない」ということは偽だ fact18: この引っ手繰りはばあかしい ; $hypothesis$ = この引っ手繰りは切り離せなくて冗談ぽくない ; $proof$ = 
fact1 & fact4 -> int1: あの御協力は降臨するしおまけにばあかしい; int1 & fact16 -> int2: この魚市場は冗談ぽいということはない; int2 & fact14 -> int3: あの会社整理は極まり悪くなくてそれに冗談ぽくない; int3 -> int4: あの会社整理は冗談ぽくない; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: あの御協力は降臨する
事実2: もし「ある物は作らないしおまけに冗談ぽくない」ということは誤りであるとすればそれは冗談ぽい
事実3: もし「あの会社整理は冗談ぽくない」ということは成り立つなら「この引っ手繰りは切り離せなくて冗談ぽくない」ということは間違いである
事実4: 「あの御協力はばあかしい」ということは成り立つ
事実5: その御宅は冷め難いということはないし専門医師でない
事実6: もしも「あの会社整理は冗談ぽくない」ということは真実であるならば「この引っ手繰りは切り離せるけど冗談ぽいということはない」ということは成り立たない
事実7: 「この引っ手繰りは切り離せるけれど冗談ぽくない」ということは間違っている
事実8: この引っ手繰りが降臨するしそれは切り離せるとすれば「あの会社整理は冗談ぽくない」ということは成り立つ
事実9: この魚市場は降臨しない
事実10: 「この引っ手繰りは切り離せないけれど冗談ぽい」ということは事実と異なる
事実11: あの会社整理は冗談ぽくないとすると「「この引っ手繰りは切り離せないがしかしそれは冗談ぽい」ということは真実である」ということは誤っている
事実12: あの会社整理は極まり悪いということはない
事実13: あのナザレ衆は降臨する
事実14: この魚市場が冗談ぽくないとしたらあの会社整理は極まり悪くないし加えてそれは冗談ぽくない
事実15: もしこの魚市場が冗談ぽくないならあの会社整理は極まり悪くない
事実16: もしもあの御協力が降臨するしおまけにばあかしいならばこの魚市場は冗談ぽくない
事実17: もしとある物は極まり悪いなら「作らないしその上冗談ぽいということはない」ということは偽だ
事実18: この引っ手繰りはばあかしい

仮説: この引っ手繰りは切り離せなくて冗談ぽくない
1. 事実1と事実4から、推論1: "あの御協力は降臨するしおまけにばあかしい"が導かれる
2. 推論1と事実16から、推論2: "この魚市場は冗談ぽいということはない"が導かれる
3. 推論2と事実14から、推論3: "あの会社整理は極まり悪くなくてそれに冗談ぽくない"が導かれる
4. 推論3から、推論4: "あの会社整理は冗談ぽくない"が導かれる
5. 推論4と事実3から、仮説が否定される

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