「「仮に「突き動かさない」ということは間違いでないならば人間臭くない」ものはある」ということは嘘である
fact1: もし仮に何かは突き動かさないならば人間臭くない fact2: 仮にその地主側は突き動かすということはないとすると「人間臭い」ということは本当である fact3: もしとある物が突き動かすとすればそれは人間臭くない fact4: もし仮にその地主側が突き動かすなら人間臭くない fact5: 「弾き易いということはないものは焦げない」ということは確かだ fact6: 「もし「突き動かす」ということは成り立つとすれば「人間臭いということはない」ということは成り立つ」ものはある fact7: もしその地主側が人間臭くないとしたら油っぽい fact8: 何らかのものが突き動かさないとすると人間臭い fact9: 「もし突き動かさないなら「人間臭い」ということは真実である」ものはある
fact1 -> int1: その地主側が突き動かさないとしたらそれは人間臭くない; int1 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
「もし弾き易くないとしたら焦げない」物はある
fact10 -> int2: もしもこの郊外地が弾き易くないならば焦げない; int2 -> hypothesis;
$facts$ = fact1: もし仮に何かは突き動かさないならば人間臭くない fact2: 仮にその地主側は突き動かすということはないとすると「人間臭い」ということは本当である fact3: もしとある物が突き動かすとすればそれは人間臭くない fact4: もし仮にその地主側が突き動かすなら人間臭くない fact5: 「弾き易いということはないものは焦げない」ということは確かだ fact6: 「もし「突き動かす」ということは成り立つとすれば「人間臭いということはない」ということは成り立つ」ものはある fact7: もしその地主側が人間臭くないとしたら油っぽい fact8: 何らかのものが突き動かさないとすると人間臭い fact9: 「もし突き動かさないなら「人間臭い」ということは真実である」ものはある ; $hypothesis$ = 「「仮に「突き動かさない」ということは間違いでないならば人間臭くない」ものはある」ということは嘘である ; $proof$ = 
fact1 -> int1: その地主側が突き動かさないとしたらそれは人間臭くない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは突き動かさないならば人間臭くない
事実2: 仮にその地主側は突き動かすということはないとすると「人間臭い」ということは本当である
事実3: もしとある物が突き動かすとすればそれは人間臭くない
事実4: もし仮にその地主側が突き動かすなら人間臭くない
事実5: 「弾き易いということはないものは焦げない」ということは確かだ
事実6: 「もし「突き動かす」ということは成り立つとすれば「人間臭いということはない」ということは成り立つ」ものはある
事実7: もしその地主側が人間臭くないとしたら油っぽい
事実8: 何らかのものが突き動かさないとすると人間臭い
事実9: 「もし突き動かさないなら「人間臭い」ということは真実である」ものはある

仮説: 「「仮に「突き動かさない」ということは間違いでないならば人間臭くない」ものはある」ということは嘘である
1. 事実1から、推論1: "その地主側が突き動かさないとしたらそれは人間臭くない"が導かれる
2. 推論1から、仮説が否定される

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