あのまにゃまねLv.91は知り合いらしくない
fact1: 仮にあのまにゃまねLv.91が嫌味っぽいならあのまにゃまねLv.91は知り合いらしくない fact2: あのまにゃまねLv.91は狡いし気怠い fact3: あのまにゃまねLv.91は気怠いとすると「あのまにゃまねLv.91は嫌味っぽい」ということは成り立つ
fact2 -> int1: あのまにゃまねLv.91は気怠い; int1 & fact3 -> int2: あのまにゃまねLv.91は嫌味っぽい; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあのまにゃまねLv.91が嫌味っぽいならあのまにゃまねLv.91は知り合いらしくない fact2: あのまにゃまねLv.91は狡いし気怠い fact3: あのまにゃまねLv.91は気怠いとすると「あのまにゃまねLv.91は嫌味っぽい」ということは成り立つ ; $hypothesis$ = あのまにゃまねLv.91は知り合いらしくない ; $proof$ = 
fact2 -> int1: あのまにゃまねLv.91は気怠い; int1 & fact3 -> int2: あのまにゃまねLv.91は嫌味っぽい; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__