「そのもいもねLv.10はきったなくない一方で薄暗い」ということは嘘だ
fact1: もし仮にそのもねもくLv.18がコンパイル出来ればそのもねもくLv.18は乗り易い fact2: そのもねもくLv.18はコンパイル出来る fact3: 「もしもそのもねもくLv.18が乗り易いしおまけに立ち入るならあのぽわぽゆLv.81は薄暗いということはない」ということは確かだ fact4: あのぽわぽちょLv.99は立ち入る fact5: 「そのもねもくLv.18は立ち入る」ということは間違いでない
fact2 & fact1 -> int1: 「そのもねもくLv.18は乗り易い」ということは本当だ; int1 & fact5 -> int2: そのもねもくLv.18は乗り易いし立ち入る; int2 & fact3 -> int3: あのぽわぽゆLv.81は薄暗くない;
fact2 & fact1 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {B}{a}); int2 & fact3 -> int3: ¬{C}{b};
$facts$ = fact1: もし仮にそのもねもくLv.18がコンパイル出来ればそのもねもくLv.18は乗り易い fact2: そのもねもくLv.18はコンパイル出来る fact3: 「もしもそのもねもくLv.18が乗り易いしおまけに立ち入るならあのぽわぽゆLv.81は薄暗いということはない」ということは確かだ fact4: あのぽわぽちょLv.99は立ち入る fact5: 「そのもねもくLv.18は立ち入る」ということは間違いでない ; $hypothesis$ = 「そのもいもねLv.10はきったなくない一方で薄暗い」ということは嘘だ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__