この香辛は勝ち過ぎない
fact1: 見境無いものは勝ち過ぎる fact2: この木は勝ち過ぎる fact3: もし仮に何らかの物は勝ち過ぎないかあるいはそれは見境無いかもしくはどちらもだとすればそれは勝ち過ぎない fact4: もしもなんらかのものが暴かないとすればそれは日増しである fact5: この香辛は勝ち過ぎる
fact5 -> hypothesis;
fact5 -> hypothesis;
この香辛は勝ち過ぎない
fact6 -> int1: この香辛は勝ち過ぎないかあるいはそれは見境無いかまたは両方だとしたらそれは勝ち過ぎない;
$facts$ = fact1: 見境無いものは勝ち過ぎる fact2: この木は勝ち過ぎる fact3: もし仮に何らかの物は勝ち過ぎないかあるいはそれは見境無いかもしくはどちらもだとすればそれは勝ち過ぎない fact4: もしもなんらかのものが暴かないとすればそれは日増しである fact5: この香辛は勝ち過ぎる ; $hypothesis$ = この香辛は勝ち過ぎない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 見境無いものは勝ち過ぎる
事実2: この木は勝ち過ぎる
事実3: もし仮に何らかの物は勝ち過ぎないかあるいはそれは見境無いかもしくはどちらもだとすればそれは勝ち過ぎない
事実4: もしもなんらかのものが暴かないとすればそれは日増しである
事実5: この香辛は勝ち過ぎる

仮説: この香辛は勝ち過ぎない
1. 事実5から、仮説が否定される

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