あの食草は弁解がましい
fact1: もし仮に「トランクパネルでない」ものがあるとすればあの食草は評価的インセンティブであるかあるいはちりちりする fact2: もしもなんらかのものが飲み出さないならば弁解がましい fact3: もし仮に「海兵出身な」ものがあるとしたらあの食草が抜け易いしその上それは回りくどい fact4: 「「木目細かいということはない」ということは誤りだということはない」ものはある fact5: 「抜け易い」ものはある fact6: あの商業出版が拍出するけど眩しくないならあの食草はちりちりする fact7: もしもその処方例が抜け易くないとしたらあの食草は弁解がましかない fact8: もしもその処方例は拍出するとしたら「あの食草は眩しくない一方でそれは評価的インセンティブである」ということは間違いである fact9: その処方例はちりちりするかまたはそれは回りくどいかあるいはどちらもだ fact10: 仮に何かはちりちりするかまたは回りくどくないならそれは拍出する fact11: とある物は回りくどくないとすれば「それはちりちりしないし抜け易くない」ということは成り立たない fact12: 「その兵船は究明する」ということは間違っていないならばそれがすうすうしないしおまけに弁解がましい fact13: とあるものがすうすうしないけれど弁解がましいならばそれは飲み出さない fact14: あの食草はトランクパネルである fact15: もし「抜け易くてさらにちりちりする」物があるならその処方例は評価的インセンティブだ fact16: 何らかのものが回りくどくないなら拍出する fact17: その兵船は究明する fact18: 「「抜け易くない」ということは真実な」ものはある fact19: もし「ある物は回りくどいけれど拍出しない」ということは成り立つということはないとしたらそれは回りくどくない fact20: もしもその兵船が飲み出さないとすればそれは海兵出身であるしかつそれはトランクパネルである fact21: 仮に「「抜け易くない」物はある」ということは成り立つならその処方例はちりちりするかまたは回りくどくないか両方だ fact22: もし「あの商業出版は眩しいということはない」ということは成り立つとしたら「それは回りくどいけど拍出するということはない」ということは誤りである fact23: もし仮に「あの食草は眩しくないけれど評価的インセンティブである」ということは間違いだとするとそれは海兵出身だ fact24: もしもあの食草が海兵出身であるしトランクパネルだとしたらそれは飲み出さない fact25: あの元監修委員会・元専門委員会は拍出する
fact18 & fact21 -> int1: その処方例はちりちりするかまたは回りくどくないか両方だ; fact10 -> int2: もしもその処方例はちりちりするか回りくどくないか両方ならば拍出する; int1 & int2 -> int3: その処方例は拍出する; int3 & fact8 -> int4: 「あの食草は眩しくないが評価的インセンティブだ」ということは誤っている; int4 & fact23 -> int5: 「あの食草は海兵出身である」ということは偽でない; int5 & fact14 -> int6: あの食草は海兵出身であるしおまけにトランクパネルである; int6 & fact24 -> int7: あの食草は飲み出さない; fact2 -> int8: 「あの食草は飲み出さない」ということは成り立てば弁解がましい; int7 & int8 -> hypothesis;
その処方例は評価的インセンティブだ
fact26 -> int9: もしその兵船がすうすうしない一方で弁解がましいとすればそれは飲み出さない; fact27 & fact30 -> int10: 「その兵船はすうすうするということはないけれど弁解がましい」ということは正しい; int9 & int10 -> int11: その兵船は飲み出さない; fact28 & int11 -> int12: その兵船は海兵出身であるしトランクパネルだ; int12 -> int13: その兵船は海兵出身である; int13 -> int14: 「「海兵出身な」物はある」ということは事実だ; int14 & fact32 -> int15: あの食草は抜け易いししかも回りくどい; int15 -> int16: あの食草は抜け易い;
$facts$ = fact1: もし仮に「トランクパネルでない」ものがあるとすればあの食草は評価的インセンティブであるかあるいはちりちりする fact2: もしもなんらかのものが飲み出さないならば弁解がましい fact3: もし仮に「海兵出身な」ものがあるとしたらあの食草が抜け易いしその上それは回りくどい fact4: 「「木目細かいということはない」ということは誤りだということはない」ものはある fact5: 「抜け易い」ものはある fact6: あの商業出版が拍出するけど眩しくないならあの食草はちりちりする fact7: もしもその処方例が抜け易くないとしたらあの食草は弁解がましかない fact8: もしもその処方例は拍出するとしたら「あの食草は眩しくない一方でそれは評価的インセンティブである」ということは間違いである fact9: その処方例はちりちりするかまたはそれは回りくどいかあるいはどちらもだ fact10: 仮に何かはちりちりするかまたは回りくどくないならそれは拍出する fact11: とある物は回りくどくないとすれば「それはちりちりしないし抜け易くない」ということは成り立たない fact12: 「その兵船は究明する」ということは間違っていないならばそれがすうすうしないしおまけに弁解がましい fact13: とあるものがすうすうしないけれど弁解がましいならばそれは飲み出さない fact14: あの食草はトランクパネルである fact15: もし「抜け易くてさらにちりちりする」物があるならその処方例は評価的インセンティブだ fact16: 何らかのものが回りくどくないなら拍出する fact17: その兵船は究明する fact18: 「「抜け易くない」ということは真実な」ものはある fact19: もし「ある物は回りくどいけれど拍出しない」ということは成り立つということはないとしたらそれは回りくどくない fact20: もしもその兵船が飲み出さないとすればそれは海兵出身であるしかつそれはトランクパネルである fact21: 仮に「「抜け易くない」物はある」ということは成り立つならその処方例はちりちりするかまたは回りくどくないか両方だ fact22: もし「あの商業出版は眩しいということはない」ということは成り立つとしたら「それは回りくどいけど拍出するということはない」ということは誤りである fact23: もし仮に「あの食草は眩しくないけれど評価的インセンティブである」ということは間違いだとするとそれは海兵出身だ fact24: もしもあの食草が海兵出身であるしトランクパネルだとしたらそれは飲み出さない fact25: あの元監修委員会・元専門委員会は拍出する ; $hypothesis$ = あの食草は弁解がましい ; $proof$ = 
fact18 & fact21 -> int1: その処方例はちりちりするかまたは回りくどくないか両方だ; fact10 -> int2: もしもその処方例はちりちりするか回りくどくないか両方ならば拍出する; int1 & int2 -> int3: その処方例は拍出する; int3 & fact8 -> int4: 「あの食草は眩しくないが評価的インセンティブだ」ということは誤っている; int4 & fact23 -> int5: 「あの食草は海兵出身である」ということは偽でない; int5 & fact14 -> int6: あの食草は海兵出身であるしおまけにトランクパネルである; int6 & fact24 -> int7: あの食草は飲み出さない; fact2 -> int8: 「あの食草は飲み出さない」ということは成り立てば弁解がましい; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮に「トランクパネルでない」ものがあるとすればあの食草は評価的インセンティブであるかあるいはちりちりする
事実2: もしもなんらかのものが飲み出さないならば弁解がましい
事実3: もし仮に「海兵出身な」ものがあるとしたらあの食草が抜け易いしその上それは回りくどい
事実4: 「「木目細かいということはない」ということは誤りだということはない」ものはある
事実5: 「抜け易い」ものはある
事実6: あの商業出版が拍出するけど眩しくないならあの食草はちりちりする
事実7: もしもその処方例が抜け易くないとしたらあの食草は弁解がましかない
事実8: もしもその処方例は拍出するとしたら「あの食草は眩しくない一方でそれは評価的インセンティブである」ということは間違いである
事実9: その処方例はちりちりするかまたはそれは回りくどいかあるいはどちらもだ
事実10: 仮に何かはちりちりするかまたは回りくどくないならそれは拍出する
事実11: とある物は回りくどくないとすれば「それはちりちりしないし抜け易くない」ということは成り立たない
事実12: 「その兵船は究明する」ということは間違っていないならばそれがすうすうしないしおまけに弁解がましい
事実13: とあるものがすうすうしないけれど弁解がましいならばそれは飲み出さない
事実14: あの食草はトランクパネルである
事実15: もし「抜け易くてさらにちりちりする」物があるならその処方例は評価的インセンティブだ
事実16: 何らかのものが回りくどくないなら拍出する
事実17: その兵船は究明する
事実18: 「「抜け易くない」ということは真実な」ものはある
事実19: もし「ある物は回りくどいけれど拍出しない」ということは成り立つということはないとしたらそれは回りくどくない
事実20: もしもその兵船が飲み出さないとすればそれは海兵出身であるしかつそれはトランクパネルである
事実21: 仮に「「抜け易くない」物はある」ということは成り立つならその処方例はちりちりするかまたは回りくどくないか両方だ
事実22: もし「あの商業出版は眩しいということはない」ということは成り立つとしたら「それは回りくどいけど拍出するということはない」ということは誤りである
事実23: もし仮に「あの食草は眩しくないけれど評価的インセンティブである」ということは間違いだとするとそれは海兵出身だ
事実24: もしもあの食草が海兵出身であるしトランクパネルだとしたらそれは飲み出さない
事実25: あの元監修委員会・元専門委員会は拍出する

仮説: あの食草は弁解がましい
1. 事実18と事実21から、推論1: "その処方例はちりちりするかまたは回りくどくないか両方だ"が導かれる
2. 事実10から、推論2: "もしもその処方例はちりちりするか回りくどくないか両方ならば拍出する"が導かれる
3. 推論1と推論2から、推論3: "その処方例は拍出する"が導かれる
4. 推論3と事実8から、推論4: "「あの食草は眩しくないが評価的インセンティブだ」ということは誤っている"が導かれる
5. 推論4と事実23から、推論5: "「あの食草は海兵出身である」ということは偽でない"が導かれる
6. 推論5と事実14から、推論6: "あの食草は海兵出身であるしおまけにトランクパネルである"が導かれる
7. 推論6と事実24から、推論7: "あの食草は飲み出さない"が導かれる
8. 事実2から、推論8: "「あの食草は飲み出さない」ということは成り立てば弁解がましい"が導かれる
9. 推論7と推論8から、仮説が導かれる

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