このまえまえLv.3は借り出すしそれは世知辛い
fact1: あのぽやぽちゅLv.49は借り出す fact2: もしもこのぽわぽにゃLv.46が読まないとすればこのぽわぽにゃLv.46は恙無いかまたはそれは逆照射するか両方ともである fact3: このまえまえLv.3は生き易くて清し fact4: このまえまえLv.3は世知辛い fact5: 「このまえまえLv.3は罹り易くないかもしくは読むかもしくは両方ともだ」ということは成り立つということはないとするとこのぽわぽにゃLv.46は読むということはない fact6: このまえまえLv.3は借り出す fact7: このぴゆぴにょLv.20は借り出す
fact6 -> int1: このまえまえLv.3は借り出す; int1 & fact4 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
このぽわぽにゃLv.46は借り出す
$facts$ = fact1: あのぽやぽちゅLv.49は借り出す fact2: もしもこのぽわぽにゃLv.46が読まないとすればこのぽわぽにゃLv.46は恙無いかまたはそれは逆照射するか両方ともである fact3: このまえまえLv.3は生き易くて清し fact4: このまえまえLv.3は世知辛い fact5: 「このまえまえLv.3は罹り易くないかもしくは読むかもしくは両方ともだ」ということは成り立つということはないとするとこのぽわぽにゃLv.46は読むということはない fact6: このまえまえLv.3は借り出す fact7: このぴゆぴにょLv.20は借り出す ; $hypothesis$ = このまえまえLv.3は借り出すしそれは世知辛い ; $proof$ = 
fact6 -> int1: このまえまえLv.3は借り出す; int1 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __PROVED__