その一グラム当たりは苛々し易い
fact1: その一グラム当たりは遅しない fact2: もし仮にとあるものは読み継がないけれど遣り終えるとすれば「苛々し易い」ということは本当である fact3: 説明し難くない物が成せらないならこの高濃度アガリクスは蹴り込まない fact4: 仮にその一グラム当たりが発出しないし苛々し易くないとしたら「それは遣り終える」ということは嘘であるということはない fact5: 「もし仮にこの高濃度アガリクスが遣り終えなくておまけに発出しないならこの高濃度アガリクスは苛々し易い」ということは事実である fact6: もしこの高濃度アガリクスが発出しないならその一グラム当たりは遣り終えない fact7: 「この破綻は発出する」ということは真実である fact8: 何かは蹴り込まないとすれば「それは発出するしかつ苛々し易い」ということは成り立たない fact9: もし「この高濃度アガリクスは読み継がない」ということは成り立つならその一グラム当たりは苛々し易くないしさらにそれは発出しない fact10: もし「その一グラム当たりは発出しない」ということは成り立つとするとこの高濃度アガリクスは遣り終えなくてその上苛々し易いということはない fact11: この高濃度アガリクスは請け負い代金債権でない fact12: もしこの高濃度アガリクスが発出しないならその一グラム当たりは読み継がなくて遣り終えない fact13: その一グラム当たりは遣り終えない fact14: この高濃度アガリクスは発出しない fact15: もし仮に表現し難くない物が物々しかないなら進路格差だ fact16: もしあるものは読み継がないし遣り終えないならば苛々し易い fact17: もしもこの高濃度アガリクスは読み継がなくておまけに苛々し易くないなら発出する fact18: もし仮にその一グラム当たりが遣り終えないしその上それが苛々し易いということはないとすると発出する fact19: 全ての物は温度データである fact20: その一グラム当たりが発出しないとすればこの高濃度アガリクスは読み継ぐということはないしおまけにそれは遣り終えない fact21: 仮にその一グラム当たりが読み継がないけれど遣り終えるなら苛々し易い
fact16 -> int1: その一グラム当たりは読み継がなくて更に遣り終えないとすれば苛々し易い; fact14 & fact12 -> int2: その一グラム当たりは読み継がなくて遣り終えるということはない; int1 & int2 -> hypothesis;
fact16 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact14 & fact12 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
「その一グラム当たりは苛々し易くない」ということは成り立つ
fact24 -> int3: この高濃度アガリクスは蹴り込まないとすると「それは発出するし苛々し易い」ということは事実と異なる; fact23 -> int4: あのバタヴィア城は温度データだ;
$facts$ = fact1: その一グラム当たりは遅しない fact2: もし仮にとあるものは読み継がないけれど遣り終えるとすれば「苛々し易い」ということは本当である fact3: 説明し難くない物が成せらないならこの高濃度アガリクスは蹴り込まない fact4: 仮にその一グラム当たりが発出しないし苛々し易くないとしたら「それは遣り終える」ということは嘘であるということはない fact5: 「もし仮にこの高濃度アガリクスが遣り終えなくておまけに発出しないならこの高濃度アガリクスは苛々し易い」ということは事実である fact6: もしこの高濃度アガリクスが発出しないならその一グラム当たりは遣り終えない fact7: 「この破綻は発出する」ということは真実である fact8: 何かは蹴り込まないとすれば「それは発出するしかつ苛々し易い」ということは成り立たない fact9: もし「この高濃度アガリクスは読み継がない」ということは成り立つならその一グラム当たりは苛々し易くないしさらにそれは発出しない fact10: もし「その一グラム当たりは発出しない」ということは成り立つとするとこの高濃度アガリクスは遣り終えなくてその上苛々し易いということはない fact11: この高濃度アガリクスは請け負い代金債権でない fact12: もしこの高濃度アガリクスが発出しないならその一グラム当たりは読み継がなくて遣り終えない fact13: その一グラム当たりは遣り終えない fact14: この高濃度アガリクスは発出しない fact15: もし仮に表現し難くない物が物々しかないなら進路格差だ fact16: もしあるものは読み継がないし遣り終えないならば苛々し易い fact17: もしもこの高濃度アガリクスは読み継がなくておまけに苛々し易くないなら発出する fact18: もし仮にその一グラム当たりが遣り終えないしその上それが苛々し易いということはないとすると発出する fact19: 全ての物は温度データである fact20: その一グラム当たりが発出しないとすればこの高濃度アガリクスは読み継ぐということはないしおまけにそれは遣り終えない fact21: 仮にその一グラム当たりが読み継がないけれど遣り終えるなら苛々し易い ; $hypothesis$ = その一グラム当たりは苛々し易い ; $proof$ = 
fact16 -> int1: その一グラム当たりは読み継がなくて更に遣り終えないとすれば苛々し易い; fact14 & fact12 -> 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: 仮にその一グラム当たりが読み継がないけれど遣り終えるなら苛々し易い

仮説: その一グラム当たりは苛々し易い
1. 事実16から、推論1: "その一グラム当たりは読み継がなくて更に遣り終えないとすれば苛々し易い"が導かれる
2. 事実14と事実12から、推論2: "その一グラム当たりは読み継がなくて遣り終えるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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