そのぷやぷにょLv.3は思しない
fact1: 由々しくないモンスターは御恥ずかしいししかも思し fact2: 「何らかのモンスターは由々しくないし散髪するということはない」ということは間違っていればそれは由々しい fact3: もし仮に由々しいモンスターが集中すとすれば思しない fact4: 全てのモンスターは思し
fact4 -> int1: 全てのモンスターは思し; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
そのぷやぷにょLv.3は思しない
fact5 -> int2: もしそのぷやぷにょLv.3は由々しくて集中すとすると思しない; fact6 -> int3: もしも「そのぷやぷにょLv.3は由々しくないしかつそれは散髪しない」ということは事実と異なるとすればそれは由々しい;
$facts$ = fact1: 由々しくないモンスターは御恥ずかしいししかも思し fact2: 「何らかのモンスターは由々しくないし散髪するということはない」ということは間違っていればそれは由々しい fact3: もし仮に由々しいモンスターが集中すとすれば思しない fact4: 全てのモンスターは思し ; $hypothesis$ = そのぷやぷにょLv.3は思しない ; $proof$ = 
fact4 -> int1: 全てのモンスターは思し; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__