このＩＭＥスタンダードはクラウンであるということはない
fact1: もしもその甲子が権限強化であるとするとこのＩＭＥスタンダードはクラウンでないけど娘らしい fact2: もしもこのＩＭＥスタンダードが娘らしいとするとその甲子はクラウンである fact3: 何かは権限強化でないとすると娘らしいしその上それはクラウンである fact4: その甲子は娘らしい fact5: 「惨い」物があるとするとその甲子は権限強化でない fact6: 仮にその甲子が娘らしいとするとこのＩＭＥスタンダードはクラウンだ fact7: もし仮になんらかのものが惨いとすると権限強化だ fact8: もしもその甲子がクラウンだとすればこのＩＭＥスタンダードは娘らしい fact9: その竹篦は娘らしい
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
このＩＭＥスタンダードはクラウンでない
fact11 -> int1: その甲子が惨いとしたらそれは権限強化である;
$facts$ = fact1: もしもその甲子が権限強化であるとするとこのＩＭＥスタンダードはクラウンでないけど娘らしい fact2: もしもこのＩＭＥスタンダードが娘らしいとするとその甲子はクラウンである fact3: 何かは権限強化でないとすると娘らしいしその上それはクラウンである fact4: その甲子は娘らしい fact5: 「惨い」物があるとするとその甲子は権限強化でない fact6: 仮にその甲子が娘らしいとするとこのＩＭＥスタンダードはクラウンだ fact7: もし仮になんらかのものが惨いとすると権限強化だ fact8: もしもその甲子がクラウンだとすればこのＩＭＥスタンダードは娘らしい fact9: その竹篦は娘らしい ; $hypothesis$ = このＩＭＥスタンダードはクラウンであるということはない ; $proof$ = 
fact6 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもその甲子が権限強化であるとするとこのＩＭＥスタンダードはクラウンでないけど娘らしい
事実2: もしもこのＩＭＥスタンダードが娘らしいとするとその甲子はクラウンである
事実3: 何かは権限強化でないとすると娘らしいしその上それはクラウンである
事実4: その甲子は娘らしい
事実5: 「惨い」物があるとするとその甲子は権限強化でない
事実6: 仮にその甲子が娘らしいとするとこのＩＭＥスタンダードはクラウンだ
事実7: もし仮になんらかのものが惨いとすると権限強化だ
事実8: もしもその甲子がクラウンだとすればこのＩＭＥスタンダードは娘らしい
事実9: その竹篦は娘らしい

仮説: このＩＭＥスタンダードはクラウンであるということはない
1. 事実6と事実4から、仮説が否定される

よって、仮説が否定されました。