「もし「標識化するしその上相互広告しない」ということは成り立てば「行い易くない」ということは成り立つ」モンスターはいる
fact1: 激しくて更に鈍くないモンスターは想定し難くない fact2: 「太ししおまけに分担し合わないとすると鋭い」モンスターはいる fact3: 「真白いけれど抗議するということはないとすれば繁殖し易くない」モンスターはいる fact4: もし仮にそのまにゃまいLv.88は標識化するけど相互広告しないならばそれは行い易いということはない
fact4 -> hypothesis;
fact4 -> hypothesis;
「もしも激しいし加えて鈍くないとしたら想定し難くない」モンスターはいる
fact5 -> int1: もし仮にあのぴえぴなLv.84が激しいけどそれが鈍くないとするとあのぴえぴなLv.84は想定し難くない; int1 -> hypothesis;
$facts$ = fact1: 激しくて更に鈍くないモンスターは想定し難くない fact2: 「太ししおまけに分担し合わないとすると鋭い」モンスターはいる fact3: 「真白いけれど抗議するということはないとすれば繁殖し易くない」モンスターはいる fact4: もし仮にそのまにゃまいLv.88は標識化するけど相互広告しないならばそれは行い易いということはない ; $hypothesis$ = 「もし「標識化するしその上相互広告しない」ということは成り立てば「行い易くない」ということは成り立つ」モンスターはいる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
fact4 -> hypothesis; __PROVED__