その其れ無しは意味深い
fact1: あの資料作りは容易くない fact2: もし「その其れ無しは対局する」ということは真実であるとすれば利き難くない fact3: その其れ無しは利き難くない fact4: その其れ無しは対局する fact5: 仮に「何かは見え易くないけれど毛繕いである」ということは嘘であるとするとそれは咆哮する fact6: その其れ無しは与え易くない fact7: もしも使い辛くない物は利き難いとしたら「意味深くない」ということは間違っている fact8: もしもとある物が咆哮するならそれは大宝伝領である fact9: もしその其れ無しは使い辛くない一方で利き難いとしたらそれは意味深い fact10: 仮にあるものが仕舞い易いならばプロ入りしないかまたはそれは情報部員だということはない fact11: もしなんらかの物は対局するということはないとすれば「大宝伝領でなくて意味深くない」ということは成り立たない fact12: 意味深いということはなくて更に使い辛くないものは対局しない fact13: もし仮にあの資料作りは容易いとすれば「その至急は容易い」ということは真実だ fact14: もし仮にあの資料作りが容易くないとすればそれは見え易くないし毛繕いでない fact15: この目標物は総鎮守であるとすれば「仕舞い易い」ということは事実だ fact16: もしもなにがしかの物は情報部員であるということはないならそれは容易い fact17: もしその其れ無しが対局すればそれは使い辛くないし利き難くない fact18: この目標物は総鎮守である fact19: 使い辛いということはないものは利き難くないならば「それは意味深い」ということは確かである fact20: その至急は大宝伝領だとすると「その其れ無しは意味深いがしかし対局しない」ということは間違いだ fact21: もし仮になんらかのものは容易いならば「見え易いということはなくてしかも毛繕いである」ということは成り立たない fact22: もし仮になにかは咆哮しないとすると対局しない
fact19 -> int1: もしもその其れ無しは使い辛くなくておまけに利き難くないとしたらそれは意味深い; fact4 & fact17 -> int2: その其れ無しは使い辛くなくて利き難くない; int1 & int2 -> hypothesis;
fact19 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact4 & fact17 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
その其れ無しは意味深くない
fact26 -> int3: もしその至急が咆哮すればそれは大宝伝領である; fact31 -> int4: もし「その至急は見え易くないけれど毛繕いだ」ということは誤りだとしたら咆哮する; fact23 -> int5: もしその至急は容易いとすると「見え易くないがしかし毛繕いである」ということは成り立たない; fact27 -> int6: あの資料作りが情報部員だということはないとしたら容易い; fact29 -> int7: もしもこの目標物が仕舞い易いならばプロ入りしないかまたはそれは情報部員でない; fact28 & fact24 -> int8: この目標物は仕舞い易い; int7 & int8 -> int9: この目標物はプロ入りしないか情報部員でないかまたはどちらもである; int9 -> int10: 「プロ入りしないかあるいは情報部員でないかまたは両方ともである」物はある;
$facts$ = fact1: あの資料作りは容易くない fact2: もし「その其れ無しは対局する」ということは真実であるとすれば利き難くない fact3: その其れ無しは利き難くない fact4: その其れ無しは対局する fact5: 仮に「何かは見え易くないけれど毛繕いである」ということは嘘であるとするとそれは咆哮する fact6: その其れ無しは与え易くない fact7: もしも使い辛くない物は利き難いとしたら「意味深くない」ということは間違っている fact8: もしもとある物が咆哮するならそれは大宝伝領である fact9: もしその其れ無しは使い辛くない一方で利き難いとしたらそれは意味深い fact10: 仮にあるものが仕舞い易いならばプロ入りしないかまたはそれは情報部員だということはない fact11: もしなんらかの物は対局するということはないとすれば「大宝伝領でなくて意味深くない」ということは成り立たない fact12: 意味深いということはなくて更に使い辛くないものは対局しない fact13: もし仮にあの資料作りは容易いとすれば「その至急は容易い」ということは真実だ fact14: もし仮にあの資料作りが容易くないとすればそれは見え易くないし毛繕いでない fact15: この目標物は総鎮守であるとすれば「仕舞い易い」ということは事実だ fact16: もしもなにがしかの物は情報部員であるということはないならそれは容易い fact17: もしその其れ無しが対局すればそれは使い辛くないし利き難くない fact18: この目標物は総鎮守である fact19: 使い辛いということはないものは利き難くないならば「それは意味深い」ということは確かである fact20: その至急は大宝伝領だとすると「その其れ無しは意味深いがしかし対局しない」ということは間違いだ fact21: もし仮になんらかのものは容易いならば「見え易いということはなくてしかも毛繕いである」ということは成り立たない fact22: もし仮になにかは咆哮しないとすると対局しない ; $hypothesis$ = その其れ無しは意味深い ; $proof$ = 
fact19 -> int1: もしもその其れ無しは使い辛くなくておまけに利き難くないとしたらそれは意味深い; fact4 & fact17 -> int2: その其れ無しは使い辛くなくて利き難くない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの資料作りは容易くない
事実2: もし「その其れ無しは対局する」ということは真実であるとすれば利き難くない
事実3: その其れ無しは利き難くない
事実4: その其れ無しは対局する
事実5: 仮に「何かは見え易くないけれど毛繕いである」ということは嘘であるとするとそれは咆哮する
事実6: その其れ無しは与え易くない
事実7: もしも使い辛くない物は利き難いとしたら「意味深くない」ということは間違っている
事実8: もしもとある物が咆哮するならそれは大宝伝領である
事実9: もしその其れ無しは使い辛くない一方で利き難いとしたらそれは意味深い
事実10: 仮にあるものが仕舞い易いならばプロ入りしないかまたはそれは情報部員だということはない
事実11: もしなんらかの物は対局するということはないとすれば「大宝伝領でなくて意味深くない」ということは成り立たない
事実12: 意味深いということはなくて更に使い辛くないものは対局しない
事実13: もし仮にあの資料作りは容易いとすれば「その至急は容易い」ということは真実だ
事実14: もし仮にあの資料作りが容易くないとすればそれは見え易くないし毛繕いでない
事実15: この目標物は総鎮守であるとすれば「仕舞い易い」ということは事実だ
事実16: もしもなにがしかの物は情報部員であるということはないならそれは容易い
事実17: もしその其れ無しが対局すればそれは使い辛くないし利き難くない
事実18: この目標物は総鎮守である
事実19: 使い辛いということはないものは利き難くないならば「それは意味深い」ということは確かである
事実20: その至急は大宝伝領だとすると「その其れ無しは意味深いがしかし対局しない」ということは間違いだ
事実21: もし仮になんらかのものは容易いならば「見え易いということはなくてしかも毛繕いである」ということは成り立たない
事実22: もし仮になにかは咆哮しないとすると対局しない

仮説: その其れ無しは意味深い
1. 事実19から、推論1: "もしもその其れ無しは使い辛くなくておまけに利き難くないとしたらそれは意味深い"が導かれる
2. 事実4と事実17から、推論2: "その其れ無しは使い辛くなくて利き難くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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