「「仮に相待つということはないとしたら愛くるしいしそれに女の子らしい」モンスターはいる」ということは成り立たない
fact1: もしなんらかのモンスターが古くないとすればそれは歩き易い fact2: なんらかのモンスターは相待たないなら「愛くるしくてさらに女の子らしい」ということは事実である fact3: 何らかのモンスターが相待つということはないなら愛くるしい
fact2 -> int1: もし「そのぴよぴちゃLv.56は相待たない」ということは成り立つとするとそれは愛くるしいしおまけに女の子らしい; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしなんらかのモンスターが古くないとすればそれは歩き易い fact2: なんらかのモンスターは相待たないなら「愛くるしくてさらに女の子らしい」ということは事実である fact3: 何らかのモンスターが相待つということはないなら愛くるしい ; $hypothesis$ = 「「仮に相待つということはないとしたら愛くるしいしそれに女の子らしい」モンスターはいる」ということは成り立たない ; $proof$ = 
fact2 -> int1: もし「そのぴよぴちゃLv.56は相待たない」ということは成り立つとするとそれは愛くるしいしおまけに女の子らしい; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 -> hypothesis; __DISPROVED__