あの訳知り顔は三十三図でない
fact1: もしも「例外無い」ものがあるならあの訳知り顔はわななく一方で倹しかない fact2: 「例外無い」ものはある fact3: この儀士屋フッシュは他愛無いがしかしそれは長詩でない fact4: 「長詩な」物はある fact5: もし仮になんらかのものが痛み出すということはないかそれは乗り難くないかもしくはどちらもだとするとそれは長詩でない fact6: あの訳知り顔は長詩だ fact7: もし何かは痛み出すということはないならばそれは乗り難くない一方で三十三図だ fact8: もしも「何かはメサイアだということはないが乗り易い」ということは間違っているとすると「それは痛み出さない」ということは成り立つ fact9: もしもあの訳知り顔が例外無くないとするとあの大穴忠臣蔵馬券術は長詩だということはない fact10: もしとある物は記録面でないとしたら「それはメサイアでないしさらにそれは乗り易い」ということは偽だ fact11: あの訳知り顔はコスト高だ fact12: その撮影者が乗り難いということはないが三十三図であるとすればあの訳知り顔は例外無くない fact13: もしも「底堅い」物があるとしたらあのマイナス・イメージは列番号だけれど例外無くない fact14: もし仮にその暴動はインキでないとしたら「伝え易くないけれどＣＣＤイメージセンサだ」ということは間違っている fact15: あの訳知り顔は講ずるがしかし取っ払わない fact16: 「もし「「例外無い」ということは成り立つ」ものがあるならばあの訳知り顔は長詩だがしかし三十三図でない」ということは成り立つ fact17: あの訳知り顔は生成し易いけれどメサイアでない fact18: あの訳知り顔は懐かしむ
fact2 & fact16 -> int1: あの訳知り顔は長詩だ一方でそれは三十三図でない; int1 -> hypothesis;
fact2 & fact16 -> int1: ({B}{a} & ¬{C}{a}); int1 -> hypothesis;
「あの訳知り顔は三十三図だ」ということは正しい
fact19 -> int2: もしあの訳知り顔が痛み出さないかそれは乗り難いということはないかあるいは両方ともであるなら長詩でない;
$facts$ = fact1: もしも「例外無い」ものがあるならあの訳知り顔はわななく一方で倹しかない fact2: 「例外無い」ものはある fact3: この儀士屋フッシュは他愛無いがしかしそれは長詩でない fact4: 「長詩な」物はある fact5: もし仮になんらかのものが痛み出すということはないかそれは乗り難くないかもしくはどちらもだとするとそれは長詩でない fact6: あの訳知り顔は長詩だ fact7: もし何かは痛み出すということはないならばそれは乗り難くない一方で三十三図だ fact8: もしも「何かはメサイアだということはないが乗り易い」ということは間違っているとすると「それは痛み出さない」ということは成り立つ fact9: もしもあの訳知り顔が例外無くないとするとあの大穴忠臣蔵馬券術は長詩だということはない fact10: もしとある物は記録面でないとしたら「それはメサイアでないしさらにそれは乗り易い」ということは偽だ fact11: あの訳知り顔はコスト高だ fact12: その撮影者が乗り難いということはないが三十三図であるとすればあの訳知り顔は例外無くない fact13: もしも「底堅い」物があるとしたらあのマイナス・イメージは列番号だけれど例外無くない fact14: もし仮にその暴動はインキでないとしたら「伝え易くないけれどＣＣＤイメージセンサだ」ということは間違っている fact15: あの訳知り顔は講ずるがしかし取っ払わない fact16: 「もし「「例外無い」ということは成り立つ」ものがあるならばあの訳知り顔は長詩だがしかし三十三図でない」ということは成り立つ fact17: あの訳知り顔は生成し易いけれどメサイアでない fact18: あの訳知り顔は懐かしむ ; $hypothesis$ = あの訳知り顔は三十三図でない ; $proof$ = 
fact2 & fact16 -> int1: あの訳知り顔は長詩だ一方でそれは三十三図でない; int1 -> hypothesis; __PROVED__
事実1: もしも「例外無い」ものがあるならあの訳知り顔はわななく一方で倹しかない
事実2: 「例外無い」ものはある
事実3: この儀士屋フッシュは他愛無いがしかしそれは長詩でない
事実4: 「長詩な」物はある
事実5: もし仮になんらかのものが痛み出すということはないかそれは乗り難くないかもしくはどちらもだとするとそれは長詩でない
事実6: あの訳知り顔は長詩だ
事実7: もし何かは痛み出すということはないならばそれは乗り難くない一方で三十三図だ
事実8: もしも「何かはメサイアだということはないが乗り易い」ということは間違っているとすると「それは痛み出さない」ということは成り立つ
事実9: もしもあの訳知り顔が例外無くないとするとあの大穴忠臣蔵馬券術は長詩だということはない
事実10: もしとある物は記録面でないとしたら「それはメサイアでないしさらにそれは乗り易い」ということは偽だ
事実11: あの訳知り顔はコスト高だ
事実12: その撮影者が乗り難いということはないが三十三図であるとすればあの訳知り顔は例外無くない
事実13: もしも「底堅い」物があるとしたらあのマイナス・イメージは列番号だけれど例外無くない
事実14: もし仮にその暴動はインキでないとしたら「伝え易くないけれどＣＣＤイメージセンサだ」ということは間違っている
事実15: あの訳知り顔は講ずるがしかし取っ払わない
事実16: 「もし「「例外無い」ということは成り立つ」ものがあるならばあの訳知り顔は長詩だがしかし三十三図でない」ということは成り立つ
事実17: あの訳知り顔は生成し易いけれどメサイアでない
事実18: あの訳知り顔は懐かしむ

仮説: あの訳知り顔は三十三図でない
1. 事実2と事実16から、推論1: "あの訳知り顔は長詩だ一方でそれは三十三図でない"が導かれる
2. 推論1から、仮説が導かれる

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