そのペッグは運び易いということはない
fact1: もし仮にそのマルクス主義者は男の子らしくないとしたら「それは運び易いということはないしプリンタデーモンでない」ということは誤っている fact2: もし仮にあの松風楼が伸ばし易い一方で清々しくないとしたらそのペッグは運び易くない fact3: それは可愛らしくなくて省略出来るというものはない fact4: あの思考実験は清々しくないしおまけに転化でない fact5: 仮にそのペッグは伸ばし易くないしまた清々しくないとすれば「あの松風楼は運び易いということはない」ということは真実だ fact6: あの松風楼が伸ばし易くないしさらに清々しいということはないとするとそのペッグは運び易くない fact7: 「そのペッグはほっつき歩かない」ということは成り立つ fact8: もしも「何らかのものは男の子らしくないししかも綿埃であるということはない」ということは偽だとしたらそれはプリンタデーモンでない fact9: 「何らかの物は可愛らしくないがしかし省略出来る」ということは間違いなら可愛らしい fact10: そのペッグは清々しいということはない fact11: もしあの松風楼が清々しくないがしかし運び易いならばそのペッグは伸ばし易くない fact12: あの松風楼が運び易いということはないしまた伸ばし易いということはないとすればあのペッグは清々しくない fact13: 仮に「なにがしかの物は綿埃でないがしかしプリンタデーモンである」ということは間違いであるとすると運び易い fact14: もし仮にそのペッグが清々しくない一方で運び易いとしたらあの松風楼は伸ばし易いということはない fact15: もしそのペッグが清々しくないしかつ運び易くないとしたらあの松風楼は伸ばし易いということはない fact16: 「あの松風楼は伸ばし易くない」ということは事実である fact17: あの松風楼は伸ばし易くないしそれは清々しくない
fact6 & fact17 -> hypothesis;
fact6 & fact17 -> hypothesis;
そのペッグは運び易い
$facts$ = fact1: もし仮にそのマルクス主義者は男の子らしくないとしたら「それは運び易いということはないしプリンタデーモンでない」ということは誤っている fact2: もし仮にあの松風楼が伸ばし易い一方で清々しくないとしたらそのペッグは運び易くない fact3: それは可愛らしくなくて省略出来るというものはない fact4: あの思考実験は清々しくないしおまけに転化でない fact5: 仮にそのペッグは伸ばし易くないしまた清々しくないとすれば「あの松風楼は運び易いということはない」ということは真実だ fact6: あの松風楼が伸ばし易くないしさらに清々しいということはないとするとそのペッグは運び易くない fact7: 「そのペッグはほっつき歩かない」ということは成り立つ fact8: もしも「何らかのものは男の子らしくないししかも綿埃であるということはない」ということは偽だとしたらそれはプリンタデーモンでない fact9: 「何らかの物は可愛らしくないがしかし省略出来る」ということは間違いなら可愛らしい fact10: そのペッグは清々しいということはない fact11: もしあの松風楼が清々しくないがしかし運び易いならばそのペッグは伸ばし易くない fact12: あの松風楼が運び易いということはないしまた伸ばし易いということはないとすればあのペッグは清々しくない fact13: 仮に「なにがしかの物は綿埃でないがしかしプリンタデーモンである」ということは間違いであるとすると運び易い fact14: もし仮にそのペッグが清々しくない一方で運び易いとしたらあの松風楼は伸ばし易いということはない fact15: もしそのペッグが清々しくないしかつ運び易くないとしたらあの松風楼は伸ばし易いということはない fact16: 「あの松風楼は伸ばし易くない」ということは事実である fact17: あの松風楼は伸ばし易くないしそれは清々しくない ; $hypothesis$ = そのペッグは運び易いということはない ; $proof$ = 
fact6 & fact17 -> hypothesis; __PROVED__
事実1: もし仮にそのマルクス主義者は男の子らしくないとしたら「それは運び易いということはないしプリンタデーモンでない」ということは誤っている
事実2: もし仮にあの松風楼が伸ばし易い一方で清々しくないとしたらそのペッグは運び易くない
事実3: それは可愛らしくなくて省略出来るというものはない
事実4: あの思考実験は清々しくないしおまけに転化でない
事実5: 仮にそのペッグは伸ばし易くないしまた清々しくないとすれば「あの松風楼は運び易いということはない」ということは真実だ
事実6: あの松風楼が伸ばし易くないしさらに清々しいということはないとするとそのペッグは運び易くない
事実7: 「そのペッグはほっつき歩かない」ということは成り立つ
事実8: もしも「何らかのものは男の子らしくないししかも綿埃であるということはない」ということは偽だとしたらそれはプリンタデーモンでない
事実9: 「何らかの物は可愛らしくないがしかし省略出来る」ということは間違いなら可愛らしい
事実10: そのペッグは清々しいということはない
事実11: もしあの松風楼が清々しくないがしかし運び易いならばそのペッグは伸ばし易くない
事実12: あの松風楼が運び易いということはないしまた伸ばし易いということはないとすればあのペッグは清々しくない
事実13: 仮に「なにがしかの物は綿埃でないがしかしプリンタデーモンである」ということは間違いであるとすると運び易い
事実14: もし仮にそのペッグが清々しくない一方で運び易いとしたらあの松風楼は伸ばし易いということはない
事実15: もしそのペッグが清々しくないしかつ運び易くないとしたらあの松風楼は伸ばし易いということはない
事実16: 「あの松風楼は伸ばし易くない」ということは事実である
事実17: あの松風楼は伸ばし易くないしそれは清々しくない

仮説: そのペッグは運び易いということはない
1. 事実6と事実17から、仮説が導かれる

よって、仮説が証明されました。