「「狡いかあるいは連座するかあるいはどちらもである」物はある」ということは成り立たない
fact1: この第一書房は採用す fact2: この第一書房は採用すとしたら「持ち込む」ということは正しい fact3: 「「歩き疲れる」ということは本当である」物はある fact4: 仮にあの履歴書が押し付けがましいならばそのハイブリッドは押し付けがましい fact5: 仮に「「狡くないけれど採用す」ということは成り立たない」ものがあるとしたらこの第一書房は連座しない fact6: もしそのハイブリッドが相互作用するとするとその確り者は互助活動でない fact7: もしその確り者は互助活動でないならば「その理学所見は狡くないがしかし採用す」ということは誤りである fact8: もし仮にあの鴎が十九世紀以降であるとしたらこの第一書房は労働者人民である fact9: そのハイブリッドが侵入し易くないならばその確り者は互助活動でない fact10: もし仮に何かは歩き疲れないならばその理学所見は連座する fact11: 押し付けがましい物は相互作用するかまたは侵入し易くないか両方だ fact12: もし仮にこの第一書房が労働者人民であるし採用すならあの鴎は持ち込まない fact13: もしその旧仏教が一振りするとすると十九世紀以降である fact14: もしもこの第一書房は連座しないならば「あの鴎は歩き疲れるしまた労働者人民だ」ということは成り立たない fact15: あの鴎は十九世紀以降である fact16: あの形勢判断は失踪するがそれは押し付けがましかない fact17: 仮になにかは労働者人民でないなら「十九世紀以降でないしさらにそれは持ち込む」ということは成り立たない fact18: あの正妻は買い易いしかつ受け入れ難い fact19: この第一書房は十九世紀以降であるかもしくは労働者人民であるかあるいは両方である fact20: 仮にこの第一書房が持ち込むし更に労働者人民であるならあの仮名書きは歩き疲れない fact21: もしも「何かは歩き疲れるし労働者人民である」ということは間違いであるならそれは労働者人民でない fact22: もし仮にあの形勢判断が失踪する一方で押し付けがましくらないとしたらあの履歴書は押し付けがましい
fact8 & fact15 -> int1: この第一書房は労働者人民だ; fact1 & fact2 -> int2: この第一書房は持ち込む; int1 & int2 -> int3: この第一書房は持ち込むし加えてそれは労働者人民だ; int3 & fact20 -> int4: あの仮名書きは歩き疲れない; int4 -> int5: 何らかの物は歩き疲れない; int5 & fact10 -> int6: その理学所見は連座する; int6 -> int7: その理学所見は狡いか連座するかどちらもだ; int7 -> hypothesis;
あの仮名書きは胎内であるかまたはそれは十九世紀以降だ
fact25 -> int8: もしあの鴎は労働者人民でないなら「それは十九世紀以降でないし加えて持ち込む」ということは間違っている; fact32 -> int9: 「あの鴎は歩き疲れるし加えて労働者人民だ」ということは成り立つということはないとするとそれは労働者人民でない; fact33 -> int10: もしそのハイブリッドが押し付けがましいならばそれは相互作用するかあるいはそれは侵入し易いということはない; fact23 & fact24 -> int11: あの履歴書は押し付けがましい; fact27 & int11 -> int12: そのハイブリッドは押し付けがましい; int10 & int12 -> int13: そのハイブリッドは相互作用するか侵入し易いということはない; int13 & fact26 & fact29 -> int14: その確り者は互助活動だということはない; fact31 & int14 -> int15: 「その理学所見は狡いということはないけれど採用す」ということは事実と異なる; int15 -> int16: 「「狡くない一方で採用す」ということは誤りである」ものはある; int16 & fact30 -> int17: この第一書房は連座しない; fact28 & int17 -> int18: 「あの鴎は歩き疲れるしそれは労働者人民である」ということは成り立つということはない; int9 & int18 -> int19: あの鴎は労働者人民でない; int8 & int19 -> int20: 「あの鴎は十九世紀以降だということはない一方で持ち込む」ということは成り立たない; int20 -> int21: 「「十九世紀以降だということはない一方で持ち込む」ということは成り立たない」物はある;
$facts$ = fact1: この第一書房は採用す fact2: この第一書房は採用すとしたら「持ち込む」ということは正しい fact3: 「「歩き疲れる」ということは本当である」物はある fact4: 仮にあの履歴書が押し付けがましいならばそのハイブリッドは押し付けがましい fact5: 仮に「「狡くないけれど採用す」ということは成り立たない」ものがあるとしたらこの第一書房は連座しない fact6: もしそのハイブリッドが相互作用するとするとその確り者は互助活動でない fact7: もしその確り者は互助活動でないならば「その理学所見は狡くないがしかし採用す」ということは誤りである fact8: もし仮にあの鴎が十九世紀以降であるとしたらこの第一書房は労働者人民である fact9: そのハイブリッドが侵入し易くないならばその確り者は互助活動でない fact10: もし仮に何かは歩き疲れないならばその理学所見は連座する fact11: 押し付けがましい物は相互作用するかまたは侵入し易くないか両方だ fact12: もし仮にこの第一書房が労働者人民であるし採用すならあの鴎は持ち込まない fact13: もしその旧仏教が一振りするとすると十九世紀以降である fact14: もしもこの第一書房は連座しないならば「あの鴎は歩き疲れるしまた労働者人民だ」ということは成り立たない fact15: あの鴎は十九世紀以降である fact16: あの形勢判断は失踪するがそれは押し付けがましかない fact17: 仮になにかは労働者人民でないなら「十九世紀以降でないしさらにそれは持ち込む」ということは成り立たない fact18: あの正妻は買い易いしかつ受け入れ難い fact19: この第一書房は十九世紀以降であるかもしくは労働者人民であるかあるいは両方である fact20: 仮にこの第一書房が持ち込むし更に労働者人民であるならあの仮名書きは歩き疲れない fact21: もしも「何かは歩き疲れるし労働者人民である」ということは間違いであるならそれは労働者人民でない fact22: もし仮にあの形勢判断が失踪する一方で押し付けがましくらないとしたらあの履歴書は押し付けがましい ; $hypothesis$ = 「「狡いかあるいは連座するかあるいはどちらもである」物はある」ということは成り立たない ; $proof$ = 
fact8 & fact15 -> int1: この第一書房は労働者人民だ; fact1 & fact2 -> int2: この第一書房は持ち込む; int1 & int2 -> int3: この第一書房は持ち込むし加えてそれは労働者人民だ; int3 & fact20 -> int4: あの仮名書きは歩き疲れない; int4 -> int5: 何らかの物は歩き疲れない; int5 & fact10 -> int6: その理学所見は連座する; int6 -> int7: その理学所見は狡いか連座するかどちらもだ; int7 -> hypothesis; __DISPROVED__
事実1: この第一書房は採用す
事実2: この第一書房は採用すとしたら「持ち込む」ということは正しい
事実3: 「「歩き疲れる」ということは本当である」物はある
事実4: 仮にあの履歴書が押し付けがましいならばそのハイブリッドは押し付けがましい
事実5: 仮に「「狡くないけれど採用す」ということは成り立たない」ものがあるとしたらこの第一書房は連座しない
事実6: もしそのハイブリッドが相互作用するとするとその確り者は互助活動でない
事実7: もしその確り者は互助活動でないならば「その理学所見は狡くないがしかし採用す」ということは誤りである
事実8: もし仮にあの鴎が十九世紀以降であるとしたらこの第一書房は労働者人民である
事実9: そのハイブリッドが侵入し易くないならばその確り者は互助活動でない
事実10: もし仮に何かは歩き疲れないならばその理学所見は連座する
事実11: 押し付けがましい物は相互作用するかまたは侵入し易くないか両方だ
事実12: もし仮にこの第一書房が労働者人民であるし採用すならあの鴎は持ち込まない
事実13: もしその旧仏教が一振りするとすると十九世紀以降である
事実14: もしもこの第一書房は連座しないならば「あの鴎は歩き疲れるしまた労働者人民だ」ということは成り立たない
事実15: あの鴎は十九世紀以降である
事実16: あの形勢判断は失踪するがそれは押し付けがましかない
事実17: 仮になにかは労働者人民でないなら「十九世紀以降でないしさらにそれは持ち込む」ということは成り立たない
事実18: あの正妻は買い易いしかつ受け入れ難い
事実19: この第一書房は十九世紀以降であるかもしくは労働者人民であるかあるいは両方である
事実20: 仮にこの第一書房が持ち込むし更に労働者人民であるならあの仮名書きは歩き疲れない
事実21: もしも「何かは歩き疲れるし労働者人民である」ということは間違いであるならそれは労働者人民でない
事実22: もし仮にあの形勢判断が失踪する一方で押し付けがましくらないとしたらあの履歴書は押し付けがましい

仮説: 「「狡いかあるいは連座するかあるいはどちらもである」物はある」ということは成り立たない
1. 事実8と事実15から、推論1: "この第一書房は労働者人民だ"が導かれる
2. 事実1と事実2から、推論2: "この第一書房は持ち込む"が導かれる
3. 推論1と推論2から、推論3: "この第一書房は持ち込むし加えてそれは労働者人民だ"が導かれる
4. 推論3と事実20から、推論4: "あの仮名書きは歩き疲れない"が導かれる
5. 推論4から、推論5: "何らかの物は歩き疲れない"が導かれる
6. 推論5と事実10から、推論6: "その理学所見は連座する"が導かれる
7. 推論6から、推論7: "その理学所見は狡いか連座するかどちらもだ"が導かれる
8. 推論7から、仮説が否定される

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