「あの白楽天詩巻は一泡だということはないが懐っこい」ということは確かでない
fact1: もしもなんらかの物は懐っこくない一方で脂っぽいならば「しどけないということはない」ということは偽でない fact2: もしも何かは成り得るとしたらそれは風呂場だ fact3: もしあの砥石はしどけないなら「懐っこくない」ということは成り立つ fact4: その二ブロックは懐っこくない fact5: 仮にこの叙情が油圧であるとするとあの白楽天詩巻は腐乱する一方で受け渡さない fact6: あの砥石はしどけない fact7: もしなにかは土器であるならば風呂場だ fact8: もし仮になにがしかのものは心理的変化でないとしたらそれは成り得るか土器だ fact9: 「あの白楽天詩巻は痛み易くないけどそれは懐っこい」ということは本当でない fact10: もしあの砥石は懐っこくないならば「あの白楽天詩巻は一泡でないが懐っこい」ということは間違いである fact11: もし仮にあの白楽天詩巻は腐乱する一方で受け渡さないとすると「あの砥石は受け渡さない」ということは事実だ fact12: 「あの白楽天詩巻が一泡だしさらに懐っこい」ということは間違いである fact13: もしもあの白楽天詩巻はしどけないとしたら「それは一泡だということはないしそれは懐っこい」ということは確かだ fact14: もし仮に「なんらかのものは素晴らしかまたは御安い」ということは成り立たないならそれは心理的変化でない fact15: もしもなんらかの物は一泡であるとするとそれは懐っこいということはないが脂っぽい fact16: 仮に「このジャンボ機は御安くない」ということは事実ならば「この叙情は土器であるけれど心理的変化でない」ということは事実でない fact17: この叙情は油圧だ fact18: もしあの砥石は受け渡さないとすれば「この地域資本は素晴らしかもしくは御安いか両方である」ということは本当でない fact19: 風呂場は一泡だ
fact3 & fact6 -> int1: あの砥石は懐っこくない; int1 & fact10 -> hypothesis;
fact3 & fact6 -> int1: ¬{B}{a}; int1 & fact10 -> hypothesis;
あの白楽天詩巻は一泡でないがしかし懐っこい
$facts$ = fact1: もしもなんらかの物は懐っこくない一方で脂っぽいならば「しどけないということはない」ということは偽でない fact2: もしも何かは成り得るとしたらそれは風呂場だ fact3: もしあの砥石はしどけないなら「懐っこくない」ということは成り立つ fact4: その二ブロックは懐っこくない fact5: 仮にこの叙情が油圧であるとするとあの白楽天詩巻は腐乱する一方で受け渡さない fact6: あの砥石はしどけない fact7: もしなにかは土器であるならば風呂場だ fact8: もし仮になにがしかのものは心理的変化でないとしたらそれは成り得るか土器だ fact9: 「あの白楽天詩巻は痛み易くないけどそれは懐っこい」ということは本当でない fact10: もしあの砥石は懐っこくないならば「あの白楽天詩巻は一泡でないが懐っこい」ということは間違いである fact11: もし仮にあの白楽天詩巻は腐乱する一方で受け渡さないとすると「あの砥石は受け渡さない」ということは事実だ fact12: 「あの白楽天詩巻が一泡だしさらに懐っこい」ということは間違いである fact13: もしもあの白楽天詩巻はしどけないとしたら「それは一泡だということはないしそれは懐っこい」ということは確かだ fact14: もし仮に「なんらかのものは素晴らしかまたは御安い」ということは成り立たないならそれは心理的変化でない fact15: もしもなんらかの物は一泡であるとするとそれは懐っこいということはないが脂っぽい fact16: 仮に「このジャンボ機は御安くない」ということは事実ならば「この叙情は土器であるけれど心理的変化でない」ということは事実でない fact17: この叙情は油圧だ fact18: もしあの砥石は受け渡さないとすれば「この地域資本は素晴らしかもしくは御安いか両方である」ということは本当でない fact19: 風呂場は一泡だ ; $hypothesis$ = 「あの白楽天詩巻は一泡だということはないが懐っこい」ということは確かでない ; $proof$ = 
fact3 & fact6 -> int1: あの砥石は懐っこくない; int1 & fact10 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は懐っこくない一方で脂っぽいならば「しどけないということはない」ということは偽でない
事実2: もしも何かは成り得るとしたらそれは風呂場だ
事実3: もしあの砥石はしどけないなら「懐っこくない」ということは成り立つ
事実4: その二ブロックは懐っこくない
事実5: 仮にこの叙情が油圧であるとするとあの白楽天詩巻は腐乱する一方で受け渡さない
事実6: あの砥石はしどけない
事実7: もしなにかは土器であるならば風呂場だ
事実8: もし仮になにがしかのものは心理的変化でないとしたらそれは成り得るか土器だ
事実9: 「あの白楽天詩巻は痛み易くないけどそれは懐っこい」ということは本当でない
事実10: もしあの砥石は懐っこくないならば「あの白楽天詩巻は一泡でないが懐っこい」ということは間違いである
事実11: もし仮にあの白楽天詩巻は腐乱する一方で受け渡さないとすると「あの砥石は受け渡さない」ということは事実だ
事実12: 「あの白楽天詩巻が一泡だしさらに懐っこい」ということは間違いである
事実13: もしもあの白楽天詩巻はしどけないとしたら「それは一泡だということはないしそれは懐っこい」ということは確かだ
事実14: もし仮に「なんらかのものは素晴らしかまたは御安い」ということは成り立たないならそれは心理的変化でない
事実15: もしもなんらかの物は一泡であるとするとそれは懐っこいということはないが脂っぽい
事実16: 仮に「このジャンボ機は御安くない」ということは事実ならば「この叙情は土器であるけれど心理的変化でない」ということは事実でない
事実17: この叙情は油圧だ
事実18: もしあの砥石は受け渡さないとすれば「この地域資本は素晴らしかもしくは御安いか両方である」ということは本当でない
事実19: 風呂場は一泡だ

仮説: 「あの白楽天詩巻は一泡だということはないが懐っこい」ということは確かでない
1. 事実3と事実6から、推論1: "あの砥石は懐っこくない"が導かれる
2. 推論1と事実10から、仮説が導かれる

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