もし仮にあのぽちょぽくLv.17が滲み込むとしたらそのまえまゆLv.62は厚くないし大挙しない
fact1: 仮にあのぽちょぽくLv.17が大挙すればそのまえまゆLv.62は寝苦しくない一方で厚い fact2: 仮に「そのまえまゆLv.62は滲み込まないかもしくは寝苦しくないかまたは両方ともである」ということは成り立たないならばあのぽちょぽくLv.17は大挙しない fact3: 仮にあのぽちょぽくLv.17が滲み込むか寝苦しいとするとあのぽちょぽくLv.17は厚くない fact4: 仮にあのぽちょぽくLv.17が厚くないならそのまえまゆLv.62は厚くなくてさらにそれは大挙しない
void -> assump1: 以下のように仮定する。あのぽちょぽくLv.17は滲み込む; assump1 -> int1: あのぽちょぽくLv.17は滲み込むかあるいはそれは寝苦しい; int1 & fact3 -> int2: あのぽちょぽくLv.17は厚いということはない; int2 & fact4 -> int3: そのまえまゆLv.62は厚くないし更にそれは大挙しない; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: (¬{C}{b} & ¬{E}{b}); [assump1] & int3 -> hypothesis;
あのぽちょぽくLv.17は大挙しない
$facts$ = fact1: 仮にあのぽちょぽくLv.17が大挙すればそのまえまゆLv.62は寝苦しくない一方で厚い fact2: 仮に「そのまえまゆLv.62は滲み込まないかもしくは寝苦しくないかまたは両方ともである」ということは成り立たないならばあのぽちょぽくLv.17は大挙しない fact3: 仮にあのぽちょぽくLv.17が滲み込むか寝苦しいとするとあのぽちょぽくLv.17は厚くない fact4: 仮にあのぽちょぽくLv.17が厚くないならそのまえまゆLv.62は厚くなくてさらにそれは大挙しない ; $hypothesis$ = もし仮にあのぽちょぽくLv.17が滲み込むとしたらそのまえまゆLv.62は厚くないし大挙しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽちょぽくLv.17は滲み込む; assump1 -> int1: あのぽちょぽくLv.17は滲み込むかあるいはそれは寝苦しい; int1 & fact3 -> int2: あのぽちょぽくLv.17は厚いということはない; int2 & fact4 -> int3: そのまえまゆLv.62は厚くないし更にそれは大挙しない; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: (¬{C}{b} & ¬{E}{b}); [assump1] & int3 -> hypothesis; __PROVED__