「あの他方当事者は切り易い」ということは本当である
fact1: 仮にこの至難がしがみ付くけど出血し易いということはないとするとその九十七年度はしがみ付く fact2: 心臓全体は下ろし易いけれど火付けでない fact3: もし仮にその財務上が下ろし易いけど火付けでないとすればあの他方当事者は火付けでない fact4: もし仮に「その平安朝は直感するがしかし懐かしということはない」ということは嘘ならば「それは懐かし」ということは間違っていない fact5: もし仮に「その九十七年度はしがみ付く」ということは成り立つならこの気孔は狙い難いということはない fact6: 「その平安朝は直感するけれど懐かしということはない」ということは誤っている fact7: 仮にその財務上が火付けでないとしたらあの他方当事者は甘辛いけれどそれは切り易くない fact8: その財務上は火付けだということはない fact9: 何らかのものが息むとすると心臓全体だ fact10: もしもとあるものが懐かしならその財務上は息むか懐かしかもしくはどちらもである fact11: もし仮に「なにがしかの物は難しいし更に意識する」ということは間違っているとしたらそれは送り込めるということはない fact12: もしもとあるものが送り込めるということはなくておまけに火付けでないならそれは切り易い fact13: 仮にこの至難が可笑しくないならそれはしがみ付くが出血し易いということはない fact14: 「この至難はグラウンドで抗い難いということはない」ということは成り立つということはない fact15: もし「この至難はグラウンドである一方で抗い難くない」ということは間違いだとすると可笑しいということはない fact16: もし仮にこの気孔は狙い難くないとすれば「あの他方当事者は難しいしまた意識する」ということは誤りだ
fact7 & fact8 -> int1: あの他方当事者は甘辛い一方で切り易くない; int1 -> hypothesis;
fact7 & fact8 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
「あの他方当事者は切り易い」ということは本当だ
fact29 -> int2: もし仮にあの他方当事者が送り込めなくて火付けでないならば切り易い; fact19 -> int3: もし仮に「あの他方当事者は難しいしおまけに意識する」ということは本当でないとすれば「送り込めない」ということは間違いでない; fact17 & fact24 -> int4: この至難は可笑しくない; fact26 & int4 -> int5: この至難はしがみ付くけれど出血し易くない; fact25 & int5 -> int6: その九十七年度はしがみ付く; fact21 & int6 -> int7: この気孔は狙い難いということはない; fact22 & int7 -> int8: 「あの他方当事者は難しくて意識する」ということは嘘である; int3 & int8 -> int9: あの他方当事者は送り込めない; fact28 -> int10: 仮にその財務上が心臓全体ならば下ろし易い一方で火付けでない; fact20 & fact27 -> int11: その平安朝は懐かし; int11 -> int12: なんらかのものは懐かし; int12 & fact23 -> int13: その財務上は息むかもしくは懐かしか両方ともだ; fact30 -> int14: もしもその財務上が息むとすると心臓全体だ;
$facts$ = fact1: 仮にこの至難がしがみ付くけど出血し易いということはないとするとその九十七年度はしがみ付く fact2: 心臓全体は下ろし易いけれど火付けでない fact3: もし仮にその財務上が下ろし易いけど火付けでないとすればあの他方当事者は火付けでない fact4: もし仮に「その平安朝は直感するがしかし懐かしということはない」ということは嘘ならば「それは懐かし」ということは間違っていない fact5: もし仮に「その九十七年度はしがみ付く」ということは成り立つならこの気孔は狙い難いということはない fact6: 「その平安朝は直感するけれど懐かしということはない」ということは誤っている fact7: 仮にその財務上が火付けでないとしたらあの他方当事者は甘辛いけれどそれは切り易くない fact8: その財務上は火付けだということはない fact9: 何らかのものが息むとすると心臓全体だ fact10: もしもとあるものが懐かしならその財務上は息むか懐かしかもしくはどちらもである fact11: もし仮に「なにがしかの物は難しいし更に意識する」ということは間違っているとしたらそれは送り込めるということはない fact12: もしもとあるものが送り込めるということはなくておまけに火付けでないならそれは切り易い fact13: 仮にこの至難が可笑しくないならそれはしがみ付くが出血し易いということはない fact14: 「この至難はグラウンドで抗い難いということはない」ということは成り立つということはない fact15: もし「この至難はグラウンドである一方で抗い難くない」ということは間違いだとすると可笑しいということはない fact16: もし仮にこの気孔は狙い難くないとすれば「あの他方当事者は難しいしまた意識する」ということは誤りだ ; $hypothesis$ = 「あの他方当事者は切り易い」ということは本当である ; $proof$ = 
fact7 & fact8 -> int1: あの他方当事者は甘辛い一方で切り易くない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこの至難がしがみ付くけど出血し易いということはないとするとその九十七年度はしがみ付く
事実2: 心臓全体は下ろし易いけれど火付けでない
事実3: もし仮にその財務上が下ろし易いけど火付けでないとすればあの他方当事者は火付けでない
事実4: もし仮に「その平安朝は直感するがしかし懐かしということはない」ということは嘘ならば「それは懐かし」ということは間違っていない
事実5: もし仮に「その九十七年度はしがみ付く」ということは成り立つならこの気孔は狙い難いということはない
事実6: 「その平安朝は直感するけれど懐かしということはない」ということは誤っている
事実7: 仮にその財務上が火付けでないとしたらあの他方当事者は甘辛いけれどそれは切り易くない
事実8: その財務上は火付けだということはない
事実9: 何らかのものが息むとすると心臓全体だ
事実10: もしもとあるものが懐かしならその財務上は息むか懐かしかもしくはどちらもである
事実11: もし仮に「なにがしかの物は難しいし更に意識する」ということは間違っているとしたらそれは送り込めるということはない
事実12: もしもとあるものが送り込めるということはなくておまけに火付けでないならそれは切り易い
事実13: 仮にこの至難が可笑しくないならそれはしがみ付くが出血し易いということはない
事実14: 「この至難はグラウンドで抗い難いということはない」ということは成り立つということはない
事実15: もし「この至難はグラウンドである一方で抗い難くない」ということは間違いだとすると可笑しいということはない
事実16: もし仮にこの気孔は狙い難くないとすれば「あの他方当事者は難しいしまた意識する」ということは誤りだ

仮説: 「あの他方当事者は切り易い」ということは本当である
1. 事実7と事実8から、推論1: "あの他方当事者は甘辛い一方で切り易くない"が導かれる
2. 推論1から、仮説が否定される

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