そのヒーリングガーデナーは無しない
fact1: そのヒーリングガーデナーは大人らしい fact2: もし仮に「あるものはえぐいがしかし礼儀正しくない」ということは嘘なら大人らしくない fact3: 仮にそのヒーリングガーデナーが大人らしいならばそれは無し fact4: 無し物は仰々しい fact5: 仮にとある物は浸けるとしたら「えぐいけれど礼儀正しくない」ということは成り立つということはない fact6: その譲渡時は無し
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
もし仮にそのヒーリングガーデナーが無しならそれは仰々しい
fact7 -> hypothesis;
$facts$ = fact1: そのヒーリングガーデナーは大人らしい fact2: もし仮に「あるものはえぐいがしかし礼儀正しくない」ということは嘘なら大人らしくない fact3: 仮にそのヒーリングガーデナーが大人らしいならばそれは無し fact4: 無し物は仰々しい fact5: 仮にとある物は浸けるとしたら「えぐいけれど礼儀正しくない」ということは成り立つということはない fact6: その譲渡時は無し ; $hypothesis$ = そのヒーリングガーデナーは無しない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: そのヒーリングガーデナーは大人らしい
事実2: もし仮に「あるものはえぐいがしかし礼儀正しくない」ということは嘘なら大人らしくない
事実3: 仮にそのヒーリングガーデナーが大人らしいならばそれは無し
事実4: 無し物は仰々しい
事実5: 仮にとある物は浸けるとしたら「えぐいけれど礼儀正しくない」ということは成り立つということはない
事実6: その譲渡時は無し

仮説: そのヒーリングガーデナーは無しない
1. 事実3と事実1から、仮説が否定される

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