「「もしも打ち震える一方で達成し易くないならば「減速する」ということは事実である」モンスターはいる」ということは間違っている
fact1: そのまにょまにLv.82が怖ーいしまた恍けるとするとそれは引き渡す fact2: 「礼儀正しいし腹立たしいとしたら憎し」モンスターはいる fact3: もしもなにがしかのモンスターは打ち震えるが達成し易くないならば「それは減速する」ということは確かである
fact3 -> int1: もしあのぴにょぴいLv.87が打ち震えるけど達成し易くないとすればあのぴにょぴいLv.87は減速する; int1 -> hypothesis;
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: そのまにょまにLv.82が怖ーいしまた恍けるとするとそれは引き渡す fact2: 「礼儀正しいし腹立たしいとしたら憎し」モンスターはいる fact3: もしもなにがしかのモンスターは打ち震えるが達成し易くないならば「それは減速する」ということは確かである ; $hypothesis$ = 「「もしも打ち震える一方で達成し易くないならば「減速する」ということは事実である」モンスターはいる」ということは間違っている ; $proof$ = 
fact3 -> int1: もしあのぴにょぴいLv.87が打ち震えるけど達成し易くないとすればあのぴにょぴいLv.87は減速する; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__