「吸収され難くない」モンスターはいる
fact1: もしもこのぷのぷえLv.29が不安がるとしたらあのぴやぴいLv.54は犯し易い fact2: 「もし仮にあのぴやぴいLv.54が本当らしいし更にそれが犯し易いならばあのぴやぴいLv.54は吸収され難くない」ということは事実である fact3: もしも「起こし難いし止めど無い」モンスターがいるとするとこのぷのぷえLv.29は不安がる fact4: 起こし難くてそれに止めど無いモンスターはいる fact5: あのぴやぴいLv.54は本当らしい
fact4 & fact3 -> int1: このぷのぷえLv.29は不安がる; int1 & fact1 -> int2: 「あのぴやぴいLv.54は犯し易い」ということは本当である; int2 & fact5 -> int3: あのぴやぴいLv.54は本当らしいし犯し易い; int3 & fact2 -> int4: あのぴやぴいLv.54は吸収され難いということはない; int4 -> hypothesis;
fact4 & fact3 -> int1: {C}{a}; int1 & fact1 -> int2: {D}{b}; int2 & fact5 -> int3: ({E}{b} & {D}{b}); int3 & fact2 -> int4: ¬{F}{b}; int4 -> hypothesis;
$facts$ = fact1: もしもこのぷのぷえLv.29が不安がるとしたらあのぴやぴいLv.54は犯し易い fact2: 「もし仮にあのぴやぴいLv.54が本当らしいし更にそれが犯し易いならばあのぴやぴいLv.54は吸収され難くない」ということは事実である fact3: もしも「起こし難いし止めど無い」モンスターがいるとするとこのぷのぷえLv.29は不安がる fact4: 起こし難くてそれに止めど無いモンスターはいる fact5: あのぴやぴいLv.54は本当らしい ; $hypothesis$ = 「吸収され難くない」モンスターはいる ; $proof$ = 
fact4 & fact3 -> int1: このぷのぷえLv.29は不安がる; int1 & fact1 -> int2: 「あのぴやぴいLv.54は犯し易い」ということは本当である; int2 & fact5 -> int3: あのぴやぴいLv.54は本当らしいし犯し易い; int3 & fact2 -> int4: あのぴやぴいLv.54は吸収され難いということはない; int4 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {C}{a}; int1 & fact1 -> int2: {D}{b}; int2 & fact5 -> int3: ({E}{b} & {D}{b}); int3 & fact2 -> int4: ¬{F}{b}; int4 -> hypothesis; __PROVED__