「この主体者は手緩くないが御命じに成る」ということは誤りである
fact1: もし仮に「如何致さない」ものがあればこの主体者は手緩いということはないけど御命じに成る fact2: この教育目標は御命じに成る fact3: 「手緩くない」物があるとすればこの主体者は御命じに成る fact4: もしもなにがしかの物は如何致せば「それは手緩くないしまたそれは御命じに成る」ということは成り立たない fact5: とあるものは御命じに成らない fact6: 赤ワインブームは戦闘員である fact7: 「如何致さない」ものはある fact8: 「御命じに成る」ものはある fact9: なんらかの物は如何致す fact10: もしもなんらかのものが戦闘員だとするとそれは如何致す fact11: その御気遣いは御命じに成る
fact7 & fact1 -> hypothesis;
fact7 & fact1 -> hypothesis;
「この主体者は手緩くないけれど御命じに成る」ということは間違っている
fact14 -> int1: 仮にこの主体者は如何致すとすれば「それは手緩くないけれど御命じに成る」ということは成り立たない; fact13 -> int2: もしこの主体者は戦闘員であるとするとそれは如何致す; fact12 -> int3: もし仮にこの主体者は赤ワインブームであるならばそれは戦闘員である;
$facts$ = fact1: もし仮に「如何致さない」ものがあればこの主体者は手緩いということはないけど御命じに成る fact2: この教育目標は御命じに成る fact3: 「手緩くない」物があるとすればこの主体者は御命じに成る fact4: もしもなにがしかの物は如何致せば「それは手緩くないしまたそれは御命じに成る」ということは成り立たない fact5: とあるものは御命じに成らない fact6: 赤ワインブームは戦闘員である fact7: 「如何致さない」ものはある fact8: 「御命じに成る」ものはある fact9: なんらかの物は如何致す fact10: もしもなんらかのものが戦闘員だとするとそれは如何致す fact11: その御気遣いは御命じに成る ; $hypothesis$ = 「この主体者は手緩くないが御命じに成る」ということは誤りである ; $proof$ = 
fact7 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「如何致さない」ものがあればこの主体者は手緩いということはないけど御命じに成る
事実2: この教育目標は御命じに成る
事実3: 「手緩くない」物があるとすればこの主体者は御命じに成る
事実4: もしもなにがしかの物は如何致せば「それは手緩くないしまたそれは御命じに成る」ということは成り立たない
事実5: とあるものは御命じに成らない
事実6: 赤ワインブームは戦闘員である
事実7: 「如何致さない」ものはある
事実8: 「御命じに成る」ものはある
事実9: なんらかの物は如何致す
事実10: もしもなんらかのものが戦闘員だとするとそれは如何致す
事実11: その御気遣いは御命じに成る

仮説: 「この主体者は手緩くないが御命じに成る」ということは誤りである
1. 事実7と事実1から、仮説が否定される

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