「このものものLv.34は囁き交わすしそれに物凄い」ということは事実と異なる
fact1: もしもこのもにもちょLv.15が頼もしいけど御試し有らないならこのぴわぴにゅLv.2は活用し易い fact2: このもにもちょLv.15は阿呆らしい fact3: このものものLv.34は物凄い fact4: 阿呆らしいモンスターは頼もしいがしかし御試し有らない fact5: もしこのぴわぴにゅLv.2が活用し易いならこのものものLv.34は囁き交わす
fact4 -> int1: このもにもちょLv.15が阿呆らしいとすればこのもにもちょLv.15は頼もしいけれどそれは御試し有るということはない; int1 & fact2 -> int2: このもにもちょLv.15は頼もしいけれど御試し有らない; int2 & fact1 -> int3: このぴわぴにゅLv.2は活用し易い; int3 & fact5 -> int4: このものものLv.34は囁き交わす; int4 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> int3: {B}{a}; int3 & fact5 -> int4: {C}{b}; int4 & fact3 -> hypothesis;
$facts$ = fact1: もしもこのもにもちょLv.15が頼もしいけど御試し有らないならこのぴわぴにゅLv.2は活用し易い fact2: このもにもちょLv.15は阿呆らしい fact3: このものものLv.34は物凄い fact4: 阿呆らしいモンスターは頼もしいがしかし御試し有らない fact5: もしこのぴわぴにゅLv.2が活用し易いならこのものものLv.34は囁き交わす ; $hypothesis$ = 「このものものLv.34は囁き交わすしそれに物凄い」ということは事実と異なる ; $proof$ = 
fact4 -> int1: このもにもちょLv.15が阿呆らしいとすればこのもにもちょLv.15は頼もしいけれどそれは御試し有るということはない; int1 & fact2 -> int2: このもにもちょLv.15は頼もしいけれど御試し有らない; int2 & fact1 -> int3: このぴわぴにゅLv.2は活用し易い; int3 & fact5 -> int4: このものものLv.34は囁き交わす; int4 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> int3: {B}{a}; int3 & fact5 -> int4: {C}{b}; int4 & fact3 -> hypothesis; __DISPROVED__