あのまいまえLv.11は発症し易い
fact1: 分かり辛くないモンスターは試行錯誤するしその上援助する fact2: このぴにょぴえLv.29は試行錯誤する fact3: もしこのぴにょぴえLv.29が試行錯誤するとするとそれは援助する fact4: もし仮にこのぴにょぴえLv.29が報復するし分かり辛いとするとあのまいまえLv.11は援助しない fact5: 仮にこのぴにょぴえLv.29が発症し易いとしたらそれは報復する fact6: もしもこのぴにょぴえLv.29が援助するとすればこのぴにょぴえLv.29は報復する fact7: もしあのまいまえLv.11が分かり辛いしそれが手酷いならそれは発症し易くない fact8: もし仮にこのぴにょぴえLv.29が報復するとすればあのまいまえLv.11は分かり辛い fact9: あのまいまえLv.11は手酷い
fact3 & fact2 -> int1: このぴにょぴえLv.29は援助する; int1 & fact6 -> int2: このぴにょぴえLv.29は報復する; int2 & fact8 -> int3: あのまいまえLv.11は分かり辛い; int3 & fact9 -> int4: あのまいまえLv.11は分かり辛いしそれは手酷い; int4 & fact7 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{b}; int3 & fact9 -> int4: ({D}{b} & {E}{b}); int4 & fact7 -> hypothesis;
あのまいまえLv.11は報復する
fact10 -> int5: あのまいまえLv.11が分かり辛くないとしたらあのまいまえLv.11は試行錯誤するしさらにそれは援助する;
$facts$ = fact1: 分かり辛くないモンスターは試行錯誤するしその上援助する fact2: このぴにょぴえLv.29は試行錯誤する fact3: もしこのぴにょぴえLv.29が試行錯誤するとするとそれは援助する fact4: もし仮にこのぴにょぴえLv.29が報復するし分かり辛いとするとあのまいまえLv.11は援助しない fact5: 仮にこのぴにょぴえLv.29が発症し易いとしたらそれは報復する fact6: もしもこのぴにょぴえLv.29が援助するとすればこのぴにょぴえLv.29は報復する fact7: もしあのまいまえLv.11が分かり辛いしそれが手酷いならそれは発症し易くない fact8: もし仮にこのぴにょぴえLv.29が報復するとすればあのまいまえLv.11は分かり辛い fact9: あのまいまえLv.11は手酷い ; $hypothesis$ = あのまいまえLv.11は発症し易い ; $proof$ = 
fact3 & fact2 -> int1: このぴにょぴえLv.29は援助する; int1 & fact6 -> int2: このぴにょぴえLv.29は報復する; int2 & fact8 -> int3: あのまいまえLv.11は分かり辛い; int3 & fact9 -> int4: あのまいまえLv.11は分かり辛いしそれは手酷い; int4 & fact7 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{b}; int3 & fact9 -> int4: ({D}{b} & {E}{b}); int4 & fact7 -> hypothesis; __DISPROVED__