あのもねもゆLv.60は等しないけど通り難い
fact1: あのぷくぷくLv.8は取捨選択するしおまけに薬臭い fact2: もしもあのぷくぷくLv.8が通り難いということはないとすればあのもねもゆLv.60は等しないけど通り難い fact3: あのもねもゆLv.60はおどろおどろしいし通り難い fact4: あのぷくぷくLv.8はおどろおどろしい fact5: あのもねもゆLv.60は薬臭い fact6: 仮にあのもねもゆLv.60が物らしいしさらに黄色っぽいなら取捨選択するということはない fact7: 仮にあのもねもゆLv.60が薬臭くないならばあのぷくぷくLv.8は通り難いということはない fact8: もし仮にあのぷくぷくLv.8がおどろおどろしいしそれに薬臭いとしたら通り難くない
fact1 -> int1: あのぷくぷくLv.8は薬臭い; int1 & fact4 -> int2: あのぷくぷくLv.8はおどろおどろしくて薬臭い; int2 & fact8 -> int3: あのぷくぷくLv.8は通り難くない; int3 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: ({C}{a} & {B}{a}); int2 & fact8 -> int3: ¬{D}{a}; int3 & fact2 -> hypothesis;
$facts$ = fact1: あのぷくぷくLv.8は取捨選択するしおまけに薬臭い fact2: もしもあのぷくぷくLv.8が通り難いということはないとすればあのもねもゆLv.60は等しないけど通り難い fact3: あのもねもゆLv.60はおどろおどろしいし通り難い fact4: あのぷくぷくLv.8はおどろおどろしい fact5: あのもねもゆLv.60は薬臭い fact6: 仮にあのもねもゆLv.60が物らしいしさらに黄色っぽいなら取捨選択するということはない fact7: 仮にあのもねもゆLv.60が薬臭くないならばあのぷくぷくLv.8は通り難いということはない fact8: もし仮にあのぷくぷくLv.8がおどろおどろしいしそれに薬臭いとしたら通り難くない ; $hypothesis$ = あのもねもゆLv.60は等しないけど通り難い ; $proof$ = 
fact1 -> int1: あのぷくぷくLv.8は薬臭い; int1 & fact4 -> int2: あのぷくぷくLv.8はおどろおどろしくて薬臭い; int2 & fact8 -> int3: あのぷくぷくLv.8は通り難くない; int3 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: ({C}{a} & {B}{a}); int2 & fact8 -> int3: ¬{D}{a}; int3 & fact2 -> hypothesis; __PROVED__