「「引き出せるけど犯し易いということはないならば解し難い」モンスターはいる」ということは正しくない
fact1: もし仮にそのみわみちゅLv.85が扱い易いがしかし優しないとすればそのみわみちゅLv.85は折れ易い fact2: もしもあのぷにぷくLv.94が引き出せるがそれが犯し易くないとするとあのぷにぷくLv.94は解し難い fact3: 仮にあのぷにぷくLv.94が引き出せるし犯し易いとしたらあのぷにぷくLv.94は解し難い fact4: 「もしも成し遂げるけれど確かめ合わないなら取得し易い」モンスターはいる fact5: 「「もし仮に難しいし根回しするとしたら探索する」モンスターはいる」ということは確かである fact6: 出し易いモンスターでありその上援護するということはないモンスターは出入りし易い
fact2 -> hypothesis;
fact2 -> hypothesis;
「出し易いけど援護するということはないとすると出入りし易い」モンスターはいる
fact7 -> int1: もしもあのまのまちょLv.4が出し易いけれど援護しないならばあのまのまちょLv.4は出入りし易い; int1 -> hypothesis;
$facts$ = fact1: もし仮にそのみわみちゅLv.85が扱い易いがしかし優しないとすればそのみわみちゅLv.85は折れ易い fact2: もしもあのぷにぷくLv.94が引き出せるがそれが犯し易くないとするとあのぷにぷくLv.94は解し難い fact3: 仮にあのぷにぷくLv.94が引き出せるし犯し易いとしたらあのぷにぷくLv.94は解し難い fact4: 「もしも成し遂げるけれど確かめ合わないなら取得し易い」モンスターはいる fact5: 「「もし仮に難しいし根回しするとしたら探索する」モンスターはいる」ということは確かである fact6: 出し易いモンスターでありその上援護するということはないモンスターは出入りし易い ; $hypothesis$ = 「「引き出せるけど犯し易いということはないならば解し難い」モンスターはいる」ということは正しくない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
fact2 -> hypothesis; __DISPROVED__