その人間生存は苦い
fact1: もし仮に「その人間生存は告知後でなくてしかもそれはデフォルメしない」ということは成り立たないとすればそれは苦い fact2: 「その人間生存は告知後でなくて加えてそれはデフォルメしない」ということは間違っている fact3: もし仮になんらかのものが控訴出来るし誘発し易いなら苦くない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
その人間生存は苦くない
fact4 -> int1: 仮にその人間生存が控訴出来るしその上それが誘発し易いとすると苦くない;
$facts$ = fact1: もし仮に「その人間生存は告知後でなくてしかもそれはデフォルメしない」ということは成り立たないとすればそれは苦い fact2: 「その人間生存は告知後でなくて加えてそれはデフォルメしない」ということは間違っている fact3: もし仮になんらかのものが控訴出来るし誘発し易いなら苦くない ; $hypothesis$ = その人間生存は苦い ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「その人間生存は告知後でなくてしかもそれはデフォルメしない」ということは成り立たないとすればそれは苦い
事実2: 「その人間生存は告知後でなくて加えてそれはデフォルメしない」ということは間違っている
事実3: もし仮になんらかのものが控訴出来るし誘発し易いなら苦くない

仮説: その人間生存は苦い
1. 事実1と事実2から、仮説が導かれる

よって、仮説が証明されました。