あのぽにゅぽにゃLv.66は愛しい
fact1: あのぽにゅぽにゃLv.66は何気無い fact2: 眠いモンスターはアプローチし易い一方で偏り過ぎない fact3: そのまなまのLv.84は何気無いししかもそれは繋ぎ止める fact4: そのまなまのLv.84が繋ぎ止めるならあのぽにゅぽにゃLv.66は愛しい fact5: 仮にあるモンスターは何気無くないとすれば「それは愛しいし繋ぎ止める」ということは事実と異なる fact6: 「そのまなまのLv.84は何気無い」ということは成り立つ fact7: 仮に「とあるモンスターは愛しくてそれにそれは繋ぎ止める」ということは成り立たないとすればそれは愛しくない
fact3 -> int1: そのまなまのLv.84は繋ぎ止める; int1 & fact4 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
あのぽにゅぽにゃLv.66は愛しくない
fact8 -> int2: 仮に「あのぽにゅぽにゃLv.66は愛しいし繋ぎ止める」ということは偽ならばそれは愛しくない; fact10 -> int3: もしも「あのぽにゅぽにゃLv.66は何気無いということはない」ということは真実だとしたら「それは愛しいし更に繋ぎ止める」ということは間違っている; fact9 -> int4: そのまなまのLv.84が眠いならそのまなまのLv.84はアプローチし易いがしかし偏り過ぎるということはない;
$facts$ = fact1: あのぽにゅぽにゃLv.66は何気無い fact2: 眠いモンスターはアプローチし易い一方で偏り過ぎない fact3: そのまなまのLv.84は何気無いししかもそれは繋ぎ止める fact4: そのまなまのLv.84が繋ぎ止めるならあのぽにゅぽにゃLv.66は愛しい fact5: 仮にあるモンスターは何気無くないとすれば「それは愛しいし繋ぎ止める」ということは事実と異なる fact6: 「そのまなまのLv.84は何気無い」ということは成り立つ fact7: 仮に「とあるモンスターは愛しくてそれにそれは繋ぎ止める」ということは成り立たないとすればそれは愛しくない ; $hypothesis$ = あのぽにゅぽにゃLv.66は愛しい ; $proof$ = 
fact3 -> int1: そのまなまのLv.84は繋ぎ止める; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __PROVED__