もし仮に「その配電は気恥ずかしくない」ということは偽だということはないとすると定式化だということはなくておまけに選定しない
fact1: もしもその配電が気恥ずかしいということはないならば定式化だけれど選定しない fact2: もし仮にとある物が気恥ずかしいということはないとすればそれは定式化でなくて選定しない fact3: 仮にその配電が気恥ずかしくないとしたら選定しない fact4: その配電は定式化でないならそれはラスタライズするということはないしさらに高しない fact5: この俘虜が探し易いならばそれは慈悲深いということはないし加えて御楽しみ頂けるということはない fact6: 「その配電が気恥ずかしいならばその配電は定式化でなくてまた選定するということはない」ということは正しい fact7: 厳めしくらないものは慈悲深いけれど御構い無くない fact8: 気恥ずかしいということはない物は定式化である一方で選定しない
fact2 -> hypothesis;
$facts$ = fact1: もしもその配電が気恥ずかしいということはないならば定式化だけれど選定しない fact2: もし仮にとある物が気恥ずかしいということはないとすればそれは定式化でなくて選定しない fact3: 仮にその配電が気恥ずかしくないとしたら選定しない fact4: その配電は定式化でないならそれはラスタライズするということはないしさらに高しない fact5: この俘虜が探し易いならばそれは慈悲深いということはないし加えて御楽しみ頂けるということはない fact6: 「その配電が気恥ずかしいならばその配電は定式化でなくてまた選定するということはない」ということは正しい fact7: 厳めしくらないものは慈悲深いけれど御構い無くない fact8: 気恥ずかしいということはない物は定式化である一方で選定しない ; $hypothesis$ = もし仮に「その配電は気恥ずかしくない」ということは偽だということはないとすると定式化だということはなくておまけに選定しない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもその配電が気恥ずかしいということはないならば定式化だけれど選定しない
事実2: もし仮にとある物が気恥ずかしいということはないとすればそれは定式化でなくて選定しない
事実3: 仮にその配電が気恥ずかしくないとしたら選定しない
事実4: その配電は定式化でないならそれはラスタライズするということはないしさらに高しない
事実5: この俘虜が探し易いならばそれは慈悲深いということはないし加えて御楽しみ頂けるということはない
事実6: 「その配電が気恥ずかしいならばその配電は定式化でなくてまた選定するということはない」ということは正しい
事実7: 厳めしくらないものは慈悲深いけれど御構い無くない
事実8: 気恥ずかしいということはない物は定式化である一方で選定しない

仮説: もし仮に「その配電は気恥ずかしくない」ということは偽だということはないとすると定式化だということはなくておまけに選定しない
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。