このまゆまわLv.63は微笑ましいということはない
fact1: 仮にあのまにゅまにLv.47が御寒いならこのまゆまわLv.63は拙くないがしかし輝かし fact2: もしもそのぽわぽやLv.99が御寒いとするとあのまにゅまにLv.47は御寒い fact3: 拙くなくて輝かしモンスターは微笑ましくない fact4: 全てのモンスターは微笑ましい
fact4 -> int1: 全てのモンスターは微笑ましい; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
このまゆまわLv.63は微笑ましいということはない
fact7 -> int2: もしもこのまゆまわLv.63が拙くない一方で輝かしとしたらこのまゆまわLv.63は微笑ましくない;
$facts$ = fact1: 仮にあのまにゅまにLv.47が御寒いならこのまゆまわLv.63は拙くないがしかし輝かし fact2: もしもそのぽわぽやLv.99が御寒いとするとあのまにゅまにLv.47は御寒い fact3: 拙くなくて輝かしモンスターは微笑ましくない fact4: 全てのモンスターは微笑ましい ; $hypothesis$ = このまゆまわLv.63は微笑ましいということはない ; $proof$ = 
fact4 -> int1: 全てのモンスターは微笑ましい; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__