「「もし仮に「おっそろしということはないししかも侘しい」ということは成り立たないなら興奮し易い」モンスターはいる」ということは偽だ
fact1: もし仮に「あのもねもにょLv.7はおっそろしないけど侘しい」ということは間違っているならあのもねもにょLv.7は興奮し易い fact2: あのもねもにょLv.7が興奮し易くないけれど大人しとしたらあのもねもにょLv.7は大変身する fact3: もし仮にあのもねもにょLv.7が狂おしくないけどそれは親しならば「あのもねもにょLv.7は心弱い」ということは事実である fact4: 「もし登山家らしくないしまた振り上げれば厭わしい」モンスターはいる fact5: もし「あのもねもにょLv.7はおっそろしないがしかし知り合いらしい」ということは成り立たないとすればあのもねもにょLv.7は煩い
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし仮に「あのもねもにょLv.7はおっそろしないけど侘しい」ということは間違っているならあのもねもにょLv.7は興奮し易い fact2: あのもねもにょLv.7が興奮し易くないけれど大人しとしたらあのもねもにょLv.7は大変身する fact3: もし仮にあのもねもにょLv.7が狂おしくないけどそれは親しならば「あのもねもにょLv.7は心弱い」ということは事実である fact4: 「もし登山家らしくないしまた振り上げれば厭わしい」モンスターはいる fact5: もし「あのもねもにょLv.7はおっそろしないがしかし知り合いらしい」ということは成り立たないとすればあのもねもにょLv.7は煩い ; $hypothesis$ = 「「もし仮に「おっそろしということはないししかも侘しい」ということは成り立たないなら興奮し易い」モンスターはいる」ということは偽だ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
fact1 -> hypothesis; __DISPROVED__