この行動推論は刺々しかないが権力闘争だ
fact1: 手振れが研究するとすればそれは提示すらない fact2: その生産工場は研究するということはない fact3: もしあの下期が養育だ一方で治癒しないならあの庭園は手振れであるということはない fact4: 「あの下期は書き下ろしである」ということは成り立つ fact5: この加算金は研究するということはない fact6: 「その生産工場は研究しない」ということは確かであるとするとあの下期は養育であるが治癒しない fact7: あの庭園は手振れでないとしたら「この行動推論は刺々しいということはないがしかし権力闘争だ」ということは間違っている
fact6 & fact2 -> int1: あの下期は養育だがしかし治癒しない; int1 & fact3 -> int2: あの庭園は手振れでない; int2 & fact7 -> hypothesis;
fact6 & fact2 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact3 -> int2: ¬{B}{c}; int2 & fact7 -> hypothesis;
あの下期は書き下ろしであるが提示すらない
fact8 -> int3: もしもあの下期が手振れであるしさらにそれが研究すればそれは提示すらない;
$facts$ = fact1: 手振れが研究するとすればそれは提示すらない fact2: その生産工場は研究するということはない fact3: もしあの下期が養育だ一方で治癒しないならあの庭園は手振れであるということはない fact4: 「あの下期は書き下ろしである」ということは成り立つ fact5: この加算金は研究するということはない fact6: 「その生産工場は研究しない」ということは確かであるとするとあの下期は養育であるが治癒しない fact7: あの庭園は手振れでないとしたら「この行動推論は刺々しいということはないがしかし権力闘争だ」ということは間違っている ; $hypothesis$ = この行動推論は刺々しかないが権力闘争だ ; $proof$ = 
fact6 & fact2 -> int1: あの下期は養育だがしかし治癒しない; int1 & fact3 -> int2: あの庭園は手振れでない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: 手振れが研究するとすればそれは提示すらない
事実2: その生産工場は研究するということはない
事実3: もしあの下期が養育だ一方で治癒しないならあの庭園は手振れであるということはない
事実4: 「あの下期は書き下ろしである」ということは成り立つ
事実5: この加算金は研究するということはない
事実6: 「その生産工場は研究しない」ということは確かであるとするとあの下期は養育であるが治癒しない
事実7: あの庭園は手振れでないとしたら「この行動推論は刺々しいということはないがしかし権力闘争だ」ということは間違っている

仮説: この行動推論は刺々しかないが権力闘争だ
1. 事実6と事実2から、推論1: "あの下期は養育だがしかし治癒しない"が導かれる
2. 推論1と事実3から、推論2: "あの庭園は手振れでない"が導かれる
3. 推論2と事実7から、仮説が否定される

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