そのもちゅもにょLv.81は御寂しくて更に救い上げる
fact1: もしなんらかのモンスターは面倒臭くないなら「御寂しいしかつ救い上げる」ということは事実と異なる fact2: そのぴちゃぴわLv.93は支障無いということはない fact3: そのぴちゃぴわLv.93が支障無くないとすればこのみちゃみゆLv.81は面倒臭いし更に傾き易い fact4: 仮にこのみちゃみゆLv.81が傾き易いとしたらそのもちゅもにょLv.81は救い上げる fact5: そのもちゅもにょLv.81は御寂しい
fact2 & fact3 -> int1: 「このみちゃみゆLv.81は面倒臭いしさらに傾き易い」ということは成り立つ; int1 -> int2: 「このみちゃみゆLv.81は傾き易い」ということは成り立つ; int2 & fact4 -> int3: そのもちゅもにょLv.81は救い上げる; int3 & fact5 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact5 -> hypothesis;
「そのもちゅもにょLv.81は御寂しいし救い上げる」ということは成り立たない
fact6 -> int4: そのもちゅもにょLv.81は面倒臭くないならば「御寂しくてかつ救い上げる」ということは成り立たない;
$facts$ = fact1: もしなんらかのモンスターは面倒臭くないなら「御寂しいしかつ救い上げる」ということは事実と異なる fact2: そのぴちゃぴわLv.93は支障無いということはない fact3: そのぴちゃぴわLv.93が支障無くないとすればこのみちゃみゆLv.81は面倒臭いし更に傾き易い fact4: 仮にこのみちゃみゆLv.81が傾き易いとしたらそのもちゅもにょLv.81は救い上げる fact5: そのもちゅもにょLv.81は御寂しい ; $hypothesis$ = そのもちゅもにょLv.81は御寂しくて更に救い上げる ; $proof$ = 
fact2 & fact3 -> int1: 「このみちゃみゆLv.81は面倒臭いしさらに傾き易い」ということは成り立つ; int1 -> int2: 「このみちゃみゆLv.81は傾き易い」ということは成り立つ; int2 & fact4 -> int3: そのもちゅもにょLv.81は救い上げる; int3 & fact5 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact5 -> hypothesis; __PROVED__