「「生み易くないが返答出来る」ということは成り立たない」物はある
fact1: 「あの納刀は粉っぽくない」ということは成り立つ fact2: 仮にあのＳ＆Ｌは粉っぽいということはないならば「あの納刀は返答出来るしおまけに生み易い」ということは間違いである fact3: 「生み易くないけど返答出来る」物はある fact4: あのＳ＆Ｌは返答出来るということはないとしたら「あの納刀は粉っぽくないがしかし生み易い」ということは成り立つということはない fact5: 「「粉っぽくないがしかし返答出来る」ということは正しくない」物はある fact6: 「「生み易いということはないがしかし粉っぽい」ということは事実と異なる」物はある fact7: もし仮にあの納刀は生み易くないなら「あのＳ＆Ｌは返答出来るしさらに粉っぽい」ということは成り立たない fact8: 「あのＳ＆Ｌは生み易いし加えて返答出来る」ということは誤っている fact9: 「「返答出来なくて粉っぽい」ということは成り立つということはない」物はある fact10: もしあのＳ＆Ｌは返答出来ないとすれば「あの納刀は粉っぽいものであり生み易い」ということは間違いだ fact11: 仮にあの納刀は粉っぽくないとすれば「あのＳ＆Ｌは生み易くない一方でそれは返答出来る」ということは成り立たない fact12: あの納刀は返答出来ないとすると「あのＳ＆Ｌは粉っぽくないがしかし生み易い」ということは誤りだ fact13: もしもあのＳ＆Ｌは返答出来るということはないとすると「あの納刀は生み易いということはないけれど粉っぽい」ということは成り立たない fact14: あのＳ＆Ｌは文書ファイルでない fact15: もしあの納刀は生み易くないとすれば「あのＳ＆Ｌは返答出来ないがしかしそれは粉っぽい」ということは成り立たない
fact11 & fact1 -> int1: 「あのＳ＆Ｌは生み易くないけど返答出来る」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: 「あの納刀は粉っぽくない」ということは成り立つ fact2: 仮にあのＳ＆Ｌは粉っぽいということはないならば「あの納刀は返答出来るしおまけに生み易い」ということは間違いである fact3: 「生み易くないけど返答出来る」物はある fact4: あのＳ＆Ｌは返答出来るということはないとしたら「あの納刀は粉っぽくないがしかし生み易い」ということは成り立つということはない fact5: 「「粉っぽくないがしかし返答出来る」ということは正しくない」物はある fact6: 「「生み易いということはないがしかし粉っぽい」ということは事実と異なる」物はある fact7: もし仮にあの納刀は生み易くないなら「あのＳ＆Ｌは返答出来るしさらに粉っぽい」ということは成り立たない fact8: 「あのＳ＆Ｌは生み易いし加えて返答出来る」ということは誤っている fact9: 「「返答出来なくて粉っぽい」ということは成り立つということはない」物はある fact10: もしあのＳ＆Ｌは返答出来ないとすれば「あの納刀は粉っぽいものであり生み易い」ということは間違いだ fact11: 仮にあの納刀は粉っぽくないとすれば「あのＳ＆Ｌは生み易くない一方でそれは返答出来る」ということは成り立たない fact12: あの納刀は返答出来ないとすると「あのＳ＆Ｌは粉っぽくないがしかし生み易い」ということは誤りだ fact13: もしもあのＳ＆Ｌは返答出来るということはないとすると「あの納刀は生み易いということはないけれど粉っぽい」ということは成り立たない fact14: あのＳ＆Ｌは文書ファイルでない fact15: もしあの納刀は生み易くないとすれば「あのＳ＆Ｌは返答出来ないがしかしそれは粉っぽい」ということは成り立たない ; $hypothesis$ = 「「生み易くないが返答出来る」ということは成り立たない」物はある ; $proof$ = 
fact11 & fact1 -> int1: 「あのＳ＆Ｌは生み易くないけど返答出来る」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: 「あの納刀は粉っぽくない」ということは成り立つ
事実2: 仮にあのＳ＆Ｌは粉っぽいということはないならば「あの納刀は返答出来るしおまけに生み易い」ということは間違いである
事実3: 「生み易くないけど返答出来る」物はある
事実4: あのＳ＆Ｌは返答出来るということはないとしたら「あの納刀は粉っぽくないがしかし生み易い」ということは成り立つということはない
事実5: 「「粉っぽくないがしかし返答出来る」ということは正しくない」物はある
事実6: 「「生み易いということはないがしかし粉っぽい」ということは事実と異なる」物はある
事実7: もし仮にあの納刀は生み易くないなら「あのＳ＆Ｌは返答出来るしさらに粉っぽい」ということは成り立たない
事実8: 「あのＳ＆Ｌは生み易いし加えて返答出来る」ということは誤っている
事実9: 「「返答出来なくて粉っぽい」ということは成り立つということはない」物はある
事実10: もしあのＳ＆Ｌは返答出来ないとすれば「あの納刀は粉っぽいものであり生み易い」ということは間違いだ
事実11: 仮にあの納刀は粉っぽくないとすれば「あのＳ＆Ｌは生み易くない一方でそれは返答出来る」ということは成り立たない
事実12: あの納刀は返答出来ないとすると「あのＳ＆Ｌは粉っぽくないがしかし生み易い」ということは誤りだ
事実13: もしもあのＳ＆Ｌは返答出来るということはないとすると「あの納刀は生み易いということはないけれど粉っぽい」ということは成り立たない
事実14: あのＳ＆Ｌは文書ファイルでない
事実15: もしあの納刀は生み易くないとすれば「あのＳ＆Ｌは返答出来ないがしかしそれは粉っぽい」ということは成り立たない

仮説: 「「生み易くないが返答出来る」ということは成り立たない」物はある
1. 事実11と事実1から、推論1: "「あのＳ＆Ｌは生み易くないけど返答出来る」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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