あのぴのぴなLv.41は感染し易い
fact1: そのもくもにょLv.86は聞き忘れるか祭祀するかまたは両方だ fact2: 仮に「そのみねみなLv.73は繰る」ということは成り立てばあのぴのぴなLv.41は感染し易い fact3: もしそのもくもにょLv.86が祭祀するとすればあのぷちょぷねLv.71は乗っ取る fact4: 仮にあのぷちょぷねLv.71が乗っ取るならそのみねみなLv.73は繰る fact5: もしもそのもくもにょLv.86が聞き忘れればあのぷちょぷねLv.71は乗っ取る fact6: そのもくもにょLv.86が神秘化しないしそれが繰らないとすれば聞き忘れない fact7: 仮にあのぴのぴなLv.41が聞き忘れるならそのもくもにょLv.86は感染し易い fact8: このみちゃみちゃLv.68は感染し易い
fact1 & fact5 & fact3 -> int1: 「あのぷちょぷねLv.71は乗っ取る」ということは本当だ; int1 & fact4 -> int2: そのみねみなLv.73は繰る; int2 & fact2 -> hypothesis;
fact1 & fact5 & fact3 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{b}; int2 & fact2 -> hypothesis;
あのぴのぴなLv.41は感染し易くない
$facts$ = fact1: そのもくもにょLv.86は聞き忘れるか祭祀するかまたは両方だ fact2: 仮に「そのみねみなLv.73は繰る」ということは成り立てばあのぴのぴなLv.41は感染し易い fact3: もしそのもくもにょLv.86が祭祀するとすればあのぷちょぷねLv.71は乗っ取る fact4: 仮にあのぷちょぷねLv.71が乗っ取るならそのみねみなLv.73は繰る fact5: もしもそのもくもにょLv.86が聞き忘れればあのぷちょぷねLv.71は乗っ取る fact6: そのもくもにょLv.86が神秘化しないしそれが繰らないとすれば聞き忘れない fact7: 仮にあのぴのぴなLv.41が聞き忘れるならそのもくもにょLv.86は感染し易い fact8: このみちゃみちゃLv.68は感染し易い ; $hypothesis$ = あのぴのぴなLv.41は感染し易い ; $proof$ = 
fact1 & fact5 & fact3 -> int1: 「あのぷちょぷねLv.71は乗っ取る」ということは本当だ; int1 & fact4 -> int2: そのみねみなLv.73は繰る; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact5 & fact3 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{b}; int2 & fact2 -> hypothesis; __PROVED__