「「つれないし懐中する」物はある」ということは間違っている
fact1: もしも素晴らしい物は妖怪事典であるなら「手っ取り早いということはない」ということは成り立つ fact2: 仮に「あの産業医はっ早いがしかし切らさない」ということは間違いだとすれば「あのエイトは懐中するということはない」ということは本当である fact3: 仮にあの統率力は心置き無いということはないとすると「あの産業医はっ早い一方で切らさない」ということは間違っている fact4: その治験は手っ取り早い fact5: もし仮にこの足遣いが避け難くないならその両派は避け難い fact6: もし仮にこの足遣いが手っ取り早いということはないとすればその治験は褻ブラーであるしさらにそれは手っ取り早い fact7: もしとあるものがイメージし易いとすれば多産である fact8: もしあるものが妖怪事典でないならばそれは避け難くないかそれは素晴らしくない fact9: 仮にこの殖産興業がつれないならばその治験はつれない fact10: このクリーンアップが心置き無くないとしたらあの統率力は心置き無くない fact11: このクリーンアップは心置き無くない fact12: この足遣いは妖怪事典だ fact13: この足遣いは素晴らしい fact14: この足遣いが素晴らしいということはないとすればその両派は避け難い fact15: もしもこの大倉山シャンツェは褻ブラーであるなら「太し」ということは正しい fact16: もしこの足遣いが手っ取り早いということはないならばその治験は手っ取り早い fact17: とある物はつれない fact18: この殖産興業はつれない fact19: 仮にこの殖産興業が手っ取り早いしつれないとすればあの治験は手っ取り早いということはない fact20: もしなにかは定量評価でないかあるいはそれが懐中しないかもしくは両方だとすればこの殖産興業は懐中するということはない fact21: もしもとあるものが避け難いならば懐中する fact22: 「懐中する」ものはある fact23: 褻ブラーは避け難い fact24: ある物は掬い綴じするしおまけに柔らか過ぎる
fact13 & fact12 -> int1: この足遣いは素晴らしいしおまけに妖怪事典である; fact1 -> int2: もしこの足遣いは素晴らしくて加えて妖怪事典ならば手っ取り早いということはない; int1 & int2 -> int3: この足遣いは手っ取り早くない; int3 & fact6 -> int4: その治験は褻ブラーであるしおまけに手っ取り早い; int4 -> int5: その治験は褻ブラーである; fact23 -> int6: その治験が褻ブラーだとすればそれは避け難い; int5 & int6 -> int7: その治験は避け難い; fact21 -> int8: もしその治験は避け難いとしたら「それは懐中する」ということは確かだ; int7 & int8 -> int9: その治験は懐中する; fact9 & fact18 -> int10: その治験はつれない; int9 & int10 -> int11: その治験はつれなくてそれは懐中する; int11 -> hypothesis;
その両派は避け難い
fact28 -> int12: この足遣いが妖怪事典でないならばそれは避け難くないか素晴らしくないかあるいは両方ともである; fact26 & fact33 -> int13: あの統率力は心置き無くない; fact29 & int13 -> int14: 「あの産業医はっ早いがしかし切らさない」ということは成り立たない; fact27 & int14 -> int15: あのエイトは懐中しない; int15 -> int16: あのエイトは定量評価でないかもしくは懐中しないかあるいはどちらもである; int16 -> int17: ある物は定量評価でないかもしくは懐中しないかあるいは両方ともである; int17 & fact32 -> int18: この殖産興業は懐中しない;
$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$ = 
fact13 & fact12 -> int1: この足遣いは素晴らしいしおまけに妖怪事典である; fact1 -> int2: もしこの足遣いは素晴らしくて加えて妖怪事典ならば手っ取り早いということはない; int1 & int2 -> int3: この足遣いは手っ取り早くない; int3 & fact6 -> int4: その治験は褻ブラーであるしおまけに手っ取り早い; int4 -> int5: その治験は褻ブラーである; fact23 -> int6: その治験が褻ブラーだとすればそれは避け難い; int5 & int6 -> int7: その治験は避け難い; fact21 -> int8: もしその治験は避け難いとしたら「それは懐中する」ということは確かだ; int7 & int8 -> int9: その治験は懐中する; fact9 & fact18 -> int10: その治験はつれない; int9 & int10 -> int11: その治験はつれなくてそれは懐中する; int11 -> 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: ある物は掬い綴じするしおまけに柔らか過ぎる

仮説: 「「つれないし懐中する」物はある」ということは間違っている
1. 事実13と事実12から、推論1: "この足遣いは素晴らしいしおまけに妖怪事典である"が導かれる
2. 事実1から、推論2: "もしこの足遣いは素晴らしくて加えて妖怪事典ならば手っ取り早いということはない"が導かれる
3. 推論1と推論2から、推論3: "この足遣いは手っ取り早くない"が導かれる
4. 推論3と事実6から、推論4: "その治験は褻ブラーであるしおまけに手っ取り早い"が導かれる
5. 推論4から、推論5: "その治験は褻ブラーである"が導かれる
6. 事実23から、推論6: "その治験が褻ブラーだとすればそれは避け難い"が導かれる
7. 推論5と推論6から、推論7: "その治験は避け難い"が導かれる
8. 事実21から、推論8: "もしその治験は避け難いとしたら「それは懐中する」ということは確かだ"が導かれる
9. 推論7と推論8から、推論9: "その治験は懐中する"が導かれる
10. 事実9と事実18から、推論10: "その治験はつれない"が導かれる
11. 推論9と推論10から、推論11: "その治験はつれなくてそれは懐中する"が導かれる
12. 推論11から、仮説が否定される

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