「あのまねまにゃLv.84は作業し易い」ということは成り立つ
fact1: あのまねまにゃLv.84が嘗めしゃぶるしその上それは退団する fact2: もしあのまねまにゃLv.84が辛気臭いとしたら荒っぽい fact3: もしもあのぽにぽにゃLv.56が薄っぺらいならあのぽにぽにゃLv.56は比較考察する fact4: そのぽやぽにょLv.93は荒っぽくない fact5: あのまねまにゃLv.84は辛気臭い fact6: あのまねまにゃLv.84は心細い fact7: もしもあのまねまにゃLv.84は荒っぽいししかも心細いならば「あのまねまにゃLv.84は作業し易くない」ということは確かである
fact2 & fact5 -> int1: あのまねまにゃLv.84は荒っぽい; int1 & fact6 -> int2: あのまねまにゃLv.84は荒っぽくてそれは心細い; int2 & fact7 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; int1 & fact6 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis;
$facts$ = fact1: あのまねまにゃLv.84が嘗めしゃぶるしその上それは退団する fact2: もしあのまねまにゃLv.84が辛気臭いとしたら荒っぽい fact3: もしもあのぽにぽにゃLv.56が薄っぺらいならあのぽにぽにゃLv.56は比較考察する fact4: そのぽやぽにょLv.93は荒っぽくない fact5: あのまねまにゃLv.84は辛気臭い fact6: あのまねまにゃLv.84は心細い fact7: もしもあのまねまにゃLv.84は荒っぽいししかも心細いならば「あのまねまにゃLv.84は作業し易くない」ということは確かである ; $hypothesis$ = 「あのまねまにゃLv.84は作業し易い」ということは成り立つ ; $proof$ = 
fact2 & fact5 -> int1: あのまねまにゃLv.84は荒っぽい; int1 & fact6 -> int2: あのまねまにゃLv.84は荒っぽくてそれは心細い; int2 & fact7 -> hypothesis; __DISPROVED__
fact2 & fact5 -> int1: {B}{a}; int1 & fact6 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis; __DISPROVED__