「「もし「荒木だけれどはしたなくない」ということは嘘であるなら「左側部分でない」ということは成り立つ」物はある」ということは成り立たない
fact1: もし仮に「ある物は調べ易い一方でそれは選択行動でない」ということは嘘だとすれば粟立たない fact2: もしも「とある物は荒木だけれどはしたなくない」ということは成り立たないならばそれは左側部分でない fact3: 仮にこの義借用は荒木であるということはないならば左側部分でない fact4: 「もし仮に「選択行動であるししかもやくざっぽくない」ということは成り立たないならば賛美しない」ものはある fact5: 「はしたないとすると左側部分でない」ものはある
fact2 -> int1: もし「この義借用が荒木だけどはしたなくない」ということは偽であるとするとそれは左側部分でない; int1 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし仮に「ある物は調べ易い一方でそれは選択行動でない」ということは嘘だとすれば粟立たない fact2: もしも「とある物は荒木だけれどはしたなくない」ということは成り立たないならばそれは左側部分でない fact3: 仮にこの義借用は荒木であるということはないならば左側部分でない fact4: 「もし仮に「選択行動であるししかもやくざっぽくない」ということは成り立たないならば賛美しない」ものはある fact5: 「はしたないとすると左側部分でない」ものはある ; $hypothesis$ = 「「もし「荒木だけれどはしたなくない」ということは嘘であるなら「左側部分でない」ということは成り立つ」物はある」ということは成り立たない ; $proof$ = 
fact2 -> int1: もし「この義借用が荒木だけどはしたなくない」ということは偽であるとするとそれは左側部分でない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「ある物は調べ易い一方でそれは選択行動でない」ということは嘘だとすれば粟立たない
事実2: もしも「とある物は荒木だけれどはしたなくない」ということは成り立たないならばそれは左側部分でない
事実3: 仮にこの義借用は荒木であるということはないならば左側部分でない
事実4: 「もし仮に「選択行動であるししかもやくざっぽくない」ということは成り立たないならば賛美しない」ものはある
事実5: 「はしたないとすると左側部分でない」ものはある

仮説: 「「もし「荒木だけれどはしたなくない」ということは嘘であるなら「左側部分でない」ということは成り立つ」物はある」ということは成り立たない
1. 事実2から、推論1: "もし「この義借用が荒木だけどはしたなくない」ということは偽であるとするとそれは左側部分でない"が導かれる
2. 推論1から、仮説が否定される

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