そのまのまえLv.48は誘発し易くない
fact1: もしもそのまいまちょLv.74が誘発し易いならそのまいまちょLv.74は生温かい fact2: 仮にそのもなもねLv.14が進め易いとしたらそのまのまえLv.48は誘発し易い fact3: 進め易くないモンスターは生温かいししかもけたたましい fact4: 「そのまのまえLv.48は出回る」ということは事実だ fact5: もしそのまいまちょLv.74が生温かいとしたらそのもなもねLv.14は進め易い fact6: そのまいまちょLv.74はけたたましい fact7: もし「そのまいまちょLv.74はけたたましい」ということは成り立つならそのまいまちょLv.74は生温かい
fact7 & fact6 -> int1: そのまいまちょLv.74は生温かい; int1 & fact5 -> int2: そのもなもねLv.14は進め易い; int2 & fact2 -> hypothesis;
fact7 & fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
あのぽにぽゆLv.90は生温かい
fact8 -> int3: もしも「あのぽにぽゆLv.90は進め易くない」ということは成り立つとしたらあのぽにぽゆLv.90は生温かいしその上けたたましい;
$facts$ = fact1: もしもそのまいまちょLv.74が誘発し易いならそのまいまちょLv.74は生温かい fact2: 仮にそのもなもねLv.14が進め易いとしたらそのまのまえLv.48は誘発し易い fact3: 進め易くないモンスターは生温かいししかもけたたましい fact4: 「そのまのまえLv.48は出回る」ということは事実だ fact5: もしそのまいまちょLv.74が生温かいとしたらそのもなもねLv.14は進め易い fact6: そのまいまちょLv.74はけたたましい fact7: もし「そのまいまちょLv.74はけたたましい」ということは成り立つならそのまいまちょLv.74は生温かい ; $hypothesis$ = そのまのまえLv.48は誘発し易くない ; $proof$ = 
fact7 & fact6 -> int1: そのまいまちょLv.74は生温かい; int1 & fact5 -> int2: そのもなもねLv.14は進め易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact7 & fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__