「この醸造は後退りであるということはないか興じるか両方だ」ということは成り立たない
fact1: この醸造が過不足無いならば後退りであるか興じるかもしくは両方だ fact2: その保安規程は過不足無い fact3: この醸造は過不足無い fact4: もし仮にあの推論過程が興じるとすれば享楽しないかそれは殉教である fact5: この醸造が過不足無いとすればそれは後退りでないかもしくはそれは興じる fact6: アルギン酸ナトリウムは過不足無くないかアーウィン・ショーであるかまたは両方だ fact7: この醸造は後退りであるかあるいは興じるかもしくは両方ともである fact8: この醸造は過不足無くないかもしくは指導要綱であるかまたは両方だ
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
もし仮にその縄文土器がアルギン酸ナトリウムだとすると過不足無くないかもしくはアーウィン・ショーであるかまたは両方である
fact9 -> hypothesis;
$facts$ = fact1: この醸造が過不足無いならば後退りであるか興じるかもしくは両方だ fact2: その保安規程は過不足無い fact3: この醸造は過不足無い fact4: もし仮にあの推論過程が興じるとすれば享楽しないかそれは殉教である fact5: この醸造が過不足無いとすればそれは後退りでないかもしくはそれは興じる fact6: アルギン酸ナトリウムは過不足無くないかアーウィン・ショーであるかまたは両方だ fact7: この醸造は後退りであるかあるいは興じるかもしくは両方ともである fact8: この醸造は過不足無くないかもしくは指導要綱であるかまたは両方だ ; $hypothesis$ = 「この醸造は後退りであるということはないか興じるか両方だ」ということは成り立たない ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: この醸造が過不足無いならば後退りであるか興じるかもしくは両方だ
事実2: その保安規程は過不足無い
事実3: この醸造は過不足無い
事実4: もし仮にあの推論過程が興じるとすれば享楽しないかそれは殉教である
事実5: この醸造が過不足無いとすればそれは後退りでないかもしくはそれは興じる
事実6: アルギン酸ナトリウムは過不足無くないかアーウィン・ショーであるかまたは両方だ
事実7: この醸造は後退りであるかあるいは興じるかもしくは両方ともである
事実8: この醸造は過不足無くないかもしくは指導要綱であるかまたは両方だ

仮説: 「この醸造は後退りであるということはないか興じるか両方だ」ということは成り立たない
1. 事実5と事実3から、仮説が否定される

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