その電気双極子は乱れない
fact1: もしその電気双極子が形式合理性であるとしたらその密通は乱れる fact2: 仮にとある物は給費生であるなら「それは補助税理士である」ということは間違っていない fact3: この中郎将は形式合理性である fact4: その密通は補助税理士だ fact5: もしその密通が形式合理性であるとすればその電気双極子は乱れる fact6: もしも「何かは乱れるけれど形式合理性でない」ということは間違っているとすると乱れない fact7: もしその密通は補助税理士であるなら形式合理性だ
fact7 & fact4 -> int1: その密通は形式合理性だ; int1 & fact5 -> hypothesis;
fact7 & fact4 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
その電気双極子は乱れない
fact8 -> int2: もし「その電気双極子は乱れるけれど形式合理性だということはない」ということは誤りであるならばそれは乱れない;
$facts$ = fact1: もしその電気双極子が形式合理性であるとしたらその密通は乱れる fact2: 仮にとある物は給費生であるなら「それは補助税理士である」ということは間違っていない fact3: この中郎将は形式合理性である fact4: その密通は補助税理士だ fact5: もしその密通が形式合理性であるとすればその電気双極子は乱れる fact6: もしも「何かは乱れるけれど形式合理性でない」ということは間違っているとすると乱れない fact7: もしその密通は補助税理士であるなら形式合理性だ ; $hypothesis$ = その電気双極子は乱れない ; $proof$ = 
fact7 & fact4 -> int1: その密通は形式合理性だ; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしその電気双極子が形式合理性であるとしたらその密通は乱れる
事実2: 仮にとある物は給費生であるなら「それは補助税理士である」ということは間違っていない
事実3: この中郎将は形式合理性である
事実4: その密通は補助税理士だ
事実5: もしその密通が形式合理性であるとすればその電気双極子は乱れる
事実6: もしも「何かは乱れるけれど形式合理性でない」ということは間違っているとすると乱れない
事実7: もしその密通は補助税理士であるなら形式合理性だ

仮説: その電気双極子は乱れない
1. 事実7と事実4から、推論1: "その密通は形式合理性だ"が導かれる
2. 推論1と事実5から、仮説が否定される

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