このぽゆぽにゃLv.76は結び付き易くない
fact1: もしそのぴなぴにょLv.47が再軍備するならそのぷくぷえLv.87は猛々しい fact2: もし仮にこのまにまのLv.75が美々しいとするとあのぽのぽのLv.32はネイティブらしい fact3: もし仮にこのぴにょぴなLv.94が近しいならこのまにまのLv.75は美々しい fact4: このぴにょぴなLv.94は近しい fact5: 仮にそのぷくぷえLv.87が猛々しいとしたらこのぽゆぽにゃLv.76は結び付き易くない fact6: このまにまのLv.75が猛々しいならそのぷくぷえLv.87は美々しい fact7: このぴにょぴなLv.94は市販する fact8: 「あのぽのぽのLv.32はネイティブらしいなら「そのぴなぴにょLv.47は再軍備する」ということは事実である」ということは真実だ
fact3 & fact4 -> int1: このまにまのLv.75は美々しい; int1 & fact2 -> int2: あのぽのぽのLv.32はネイティブらしい; int2 & fact8 -> int3: そのぴなぴにょLv.47は再軍備する; int3 & fact1 -> int4: そのぷくぷえLv.87は猛々しい; int4 & fact5 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact8 -> int3: {D}{d}; int3 & fact1 -> int4: {E}{e}; int4 & fact5 -> hypothesis;
$facts$ = fact1: もしそのぴなぴにょLv.47が再軍備するならそのぷくぷえLv.87は猛々しい fact2: もし仮にこのまにまのLv.75が美々しいとするとあのぽのぽのLv.32はネイティブらしい fact3: もし仮にこのぴにょぴなLv.94が近しいならこのまにまのLv.75は美々しい fact4: このぴにょぴなLv.94は近しい fact5: 仮にそのぷくぷえLv.87が猛々しいとしたらこのぽゆぽにゃLv.76は結び付き易くない fact6: このまにまのLv.75が猛々しいならそのぷくぷえLv.87は美々しい fact7: このぴにょぴなLv.94は市販する fact8: 「あのぽのぽのLv.32はネイティブらしいなら「そのぴなぴにょLv.47は再軍備する」ということは事実である」ということは真実だ ; $hypothesis$ = このぽゆぽにゃLv.76は結び付き易くない ; $proof$ = 
fact3 & fact4 -> int1: このまにまのLv.75は美々しい; int1 & fact2 -> int2: あのぽのぽのLv.32はネイティブらしい; int2 & fact8 -> int3: そのぴなぴにょLv.47は再軍備する; int3 & fact1 -> int4: そのぷくぷえLv.87は猛々しい; int4 & fact5 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact8 -> int3: {D}{d}; int3 & fact1 -> int4: {E}{e}; int4 & fact5 -> hypothesis; __PROVED__