そのイオン‐分子反応は当たり易くない
fact1: もし仮に「そのイオン‐分子反応は苦しくないけど招聘だ」ということは確かであるとすると摂食行動異常だということはない fact2: この側杖は見られ易い fact3: もし「なんらかのものは高ずるかあるいは絶対無でない」ということは成り立つとすれば「葛藤する」ということは本当である fact4: 「「そのイオン‐分子反応は囁き交わすししかも重し」ということは成り立たない」ということは真実であるならばそれは耕すということはない fact5: もしもそのイオン‐分子反応は任せるか問題解決法でないとしたら当たり易い fact6: そのイオン‐分子反応は法的措置だ fact7: もし仮になにかは見られ易くないならばそれは当たり易い fact8: そのイオン‐分子反応は法的措置であるかまたは当たり易くないかもしくはどちらもである fact9: この側杖は見られ易いかもしくはそれは法的措置であるかどちらもである fact10: もしもなにがしかの物は摂食行動異常でないならば「書き込みであるということはないかもしくは走り為さらないかもしくは両方である」ということは間違っている fact11: もしこの側杖が当たり易くないとすればそれは見られ易い fact12: なんらかの物は脆いとすれば「それは苦しくないけど招聘である」ということは確かである fact13: もしなんらかのものが銀イオンであるかあるいは助力しないかまたは両方ならそれは瑞々しい fact14: もしもこの側杖が覚え難いならそのイオン‐分子反応は当たり易い fact15: もし「この側杖は当たり易い」ということは真実であるとすればそのイオン‐分子反応は法的措置である fact16: もし仮に「なにがしかのものは書き込みであるということはないかあるいは走り為さらないかもしくはどちらもである」ということは確かでないとするとそれは矢吹丈でない fact17: 仮にあるものは覚え難いか当たり易いということはないかあるいは両方であるとすると「それは見られ易くない」ということは確かでない fact18: もしもそのイオン‐分子反応が耕すということはないならば脆い fact19: もし仮になにかは見られ易いかあるいはそれは法的措置でないかもしくは両方ともであるとすれば覚え難い fact20: もしもある物は矢吹丈でないなら当たり易いということはないしそれに覚え難くない
fact19 -> int1: もしこの側杖は見られ易いかもしくは法的措置でないかどちらもであるとすれば「覚え難い」ということは成り立つ; fact2 -> int2: この側杖は見られ易いかそれは法的措置でない; int1 & int2 -> int3: この側杖は覚え難い; int3 & fact14 -> hypothesis;
fact19 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact2 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact14 -> hypothesis;
そのイオン‐分子反応は当たり易くない
fact21 -> int4: もし仮にそのイオン‐分子反応が矢吹丈でないとしたら当たり易くないし覚え難くない; fact25 -> int5: 「そのイオン‐分子反応は書き込みでないかまたは走り為さらないかあるいは両方ともである」ということは嘘であるとすれば矢吹丈でない; fact27 -> int6: もしそのイオン‐分子反応は摂食行動異常でないなら「それは書き込みでないかまたは走り為さるということはないかもしくは両方ともだ」ということは間違っている; fact26 -> int7: 仮に「そのイオン‐分子反応は脆い」ということは真実だとしたらそれは苦しくない一方で招聘である;
$facts$ = fact1: もし仮に「そのイオン‐分子反応は苦しくないけど招聘だ」ということは確かであるとすると摂食行動異常だということはない fact2: この側杖は見られ易い fact3: もし「なんらかのものは高ずるかあるいは絶対無でない」ということは成り立つとすれば「葛藤する」ということは本当である fact4: 「「そのイオン‐分子反応は囁き交わすししかも重し」ということは成り立たない」ということは真実であるならばそれは耕すということはない fact5: もしもそのイオン‐分子反応は任せるか問題解決法でないとしたら当たり易い fact6: そのイオン‐分子反応は法的措置だ fact7: もし仮になにかは見られ易くないならばそれは当たり易い fact8: そのイオン‐分子反応は法的措置であるかまたは当たり易くないかもしくはどちらもである fact9: この側杖は見られ易いかもしくはそれは法的措置であるかどちらもである fact10: もしもなにがしかの物は摂食行動異常でないならば「書き込みであるということはないかもしくは走り為さらないかもしくは両方である」ということは間違っている fact11: もしこの側杖が当たり易くないとすればそれは見られ易い fact12: なんらかの物は脆いとすれば「それは苦しくないけど招聘である」ということは確かである fact13: もしなんらかのものが銀イオンであるかあるいは助力しないかまたは両方ならそれは瑞々しい fact14: もしもこの側杖が覚え難いならそのイオン‐分子反応は当たり易い fact15: もし「この側杖は当たり易い」ということは真実であるとすればそのイオン‐分子反応は法的措置である fact16: もし仮に「なにがしかのものは書き込みであるということはないかあるいは走り為さらないかもしくはどちらもである」ということは確かでないとするとそれは矢吹丈でない fact17: 仮にあるものは覚え難いか当たり易いということはないかあるいは両方であるとすると「それは見られ易くない」ということは確かでない fact18: もしもそのイオン‐分子反応が耕すということはないならば脆い fact19: もし仮になにかは見られ易いかあるいはそれは法的措置でないかもしくは両方ともであるとすれば覚え難い fact20: もしもある物は矢吹丈でないなら当たり易いということはないしそれに覚え難くない ; $hypothesis$ = そのイオン‐分子反応は当たり易くない ; $proof$ = 
fact19 -> int1: もしこの側杖は見られ易いかもしくは法的措置でないかどちらもであるとすれば「覚え難い」ということは成り立つ; fact2 -> int2: この側杖は見られ易いかそれは法的措置でない; int1 & int2 -> int3: この側杖は覚え難い; int3 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮に「そのイオン‐分子反応は苦しくないけど招聘だ」ということは確かであるとすると摂食行動異常だということはない
事実2: この側杖は見られ易い
事実3: もし「なんらかのものは高ずるかあるいは絶対無でない」ということは成り立つとすれば「葛藤する」ということは本当である
事実4: 「「そのイオン‐分子反応は囁き交わすししかも重し」ということは成り立たない」ということは真実であるならばそれは耕すということはない
事実5: もしもそのイオン‐分子反応は任せるか問題解決法でないとしたら当たり易い
事実6: そのイオン‐分子反応は法的措置だ
事実7: もし仮になにかは見られ易くないならばそれは当たり易い
事実8: そのイオン‐分子反応は法的措置であるかまたは当たり易くないかもしくはどちらもである
事実9: この側杖は見られ易いかもしくはそれは法的措置であるかどちらもである
事実10: もしもなにがしかの物は摂食行動異常でないならば「書き込みであるということはないかもしくは走り為さらないかもしくは両方である」ということは間違っている
事実11: もしこの側杖が当たり易くないとすればそれは見られ易い
事実12: なんらかの物は脆いとすれば「それは苦しくないけど招聘である」ということは確かである
事実13: もしなんらかのものが銀イオンであるかあるいは助力しないかまたは両方ならそれは瑞々しい
事実14: もしもこの側杖が覚え難いならそのイオン‐分子反応は当たり易い
事実15: もし「この側杖は当たり易い」ということは真実であるとすればそのイオン‐分子反応は法的措置である
事実16: もし仮に「なにがしかのものは書き込みであるということはないかあるいは走り為さらないかもしくはどちらもである」ということは確かでないとするとそれは矢吹丈でない
事実17: 仮にあるものは覚え難いか当たり易いということはないかあるいは両方であるとすると「それは見られ易くない」ということは確かでない
事実18: もしもそのイオン‐分子反応が耕すということはないならば脆い
事実19: もし仮になにかは見られ易いかあるいはそれは法的措置でないかもしくは両方ともであるとすれば覚え難い
事実20: もしもある物は矢吹丈でないなら当たり易いということはないしそれに覚え難くない

仮説: そのイオン‐分子反応は当たり易くない
1. 事実19から、推論1: "もしこの側杖は見られ易いかもしくは法的措置でないかどちらもであるとすれば「覚え難い」ということは成り立つ"が導かれる
2. 事実2から、推論2: "この側杖は見られ易いかそれは法的措置でない"が導かれる
3. 推論1と推論2から、推論3: "この側杖は覚え難い"が導かれる
4. 推論3と事実14から、仮説が否定される

よって、仮説が否定されました。