このみちょみにょLv.93は遠い
fact1: もしこのみちょみにょLv.93が共有出来ないなら遠い fact2: 仮にそのぽちょぽねLv.87がしゃがまないとするとこのみちょみにょLv.93は共有出来ないし横転しない fact3: あのみくみわLv.45が溜まり易いしさらに忙しないとすればそのぽちょぽねLv.87はしゃがまない fact4: あのみくみわLv.45は忙しない fact5: あのみくみわLv.45は溜まり易い
fact5 & fact4 -> int1: あのみくみわLv.45は溜まり易いしおまけに忙しない; int1 & fact3 -> int2: そのぽちょぽねLv.87はしゃがむということはない; int2 & fact2 -> int3: このみちょみにょLv.93は共有出来なくてまた横転しない; int3 -> int4: このみちょみにょLv.93は共有出来ない; int4 & fact1 -> hypothesis;
fact5 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact2 -> int3: (¬{E}{c} & ¬{D}{c}); int3 -> int4: ¬{E}{c}; int4 & fact1 -> hypothesis;
$facts$ = fact1: もしこのみちょみにょLv.93が共有出来ないなら遠い fact2: 仮にそのぽちょぽねLv.87がしゃがまないとするとこのみちょみにょLv.93は共有出来ないし横転しない fact3: あのみくみわLv.45が溜まり易いしさらに忙しないとすればそのぽちょぽねLv.87はしゃがまない fact4: あのみくみわLv.45は忙しない fact5: あのみくみわLv.45は溜まり易い ; $hypothesis$ = このみちょみにょLv.93は遠い ; $proof$ = 
fact5 & fact4 -> int1: あのみくみわLv.45は溜まり易いしおまけに忙しない; int1 & fact3 -> int2: そのぽちょぽねLv.87はしゃがむということはない; int2 & fact2 -> int3: このみちょみにょLv.93は共有出来なくてまた横転しない; int3 -> int4: このみちょみにょLv.93は共有出来ない; int4 & fact1 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact2 -> int3: (¬{E}{c} & ¬{D}{c}); int3 -> int4: ¬{E}{c}; int4 & fact1 -> hypothesis; __PROVED__