その有期は協力出来るけど安くない
fact1: もしも「データ・モデルな」物があるとしたらこの蔣政権は戦後復興であるが御言うない fact2: もし仮に戦後復興が御言うないとすれば移動し易くない fact3: 「なんらかのものはオートＳＵＭでない」ということは確かだとすると協力出来るしかつ安くない fact4: もし仮にとあるものは戦後復興でないなら御言うない fact5: 仮に「その有期は不動産事業であるということはないしまたオートＳＵＭでない」ということは誤りであるならそれは移動し易い fact6: その有期は戦後復興でない fact7: 何らかの物はデータ・モデルだ fact8: 仮になにかは調べるとすると御言う fact9: 移動し易いものは調べる
void -> assump1: 以下のように仮定する。「「その有期は不動産事業でなくてかつそれはオートＳＵＭでない」ということは誤りである」ということは正しい; fact5 & assump1 -> int1: その有期は移動し易い; fact9 -> int2: 仮にその有期が移動し易いとすればそれは調べる; int1 & int2 -> int3: その有期は調べる; fact8 -> int4: その有期が調べるとするとそれは御言う; int3 & int4 -> int5: その有期は御言う; fact4 -> int6: もし仮にその有期が戦後復興だということはないとすればそれは御言うない; int6 & fact6 -> int7: その有期は御言うない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その有期は不動産事業でないしおまけにオートＳＵＭでない; int9 -> int10: その有期はオートＳＵＭでない; fact3 -> int11: もしもその有期はオートＳＵＭでないとすれば「それは協力出来るが安いということはない」ということは成り立つ; int10 & int11 -> hypothesis;
「その有期は協力出来るが安くない」ということは間違っている
fact12 -> int12: 仮にこの蔣政権は戦後復興だが御言うないとすると移動し易くない; fact10 & fact11 -> int13: この蔣政権は戦後復興だがしかし御言うない; int12 & int13 -> int14: この蔣政権は移動し易くない;
$facts$ = fact1: もしも「データ・モデルな」物があるとしたらこの蔣政権は戦後復興であるが御言うない fact2: もし仮に戦後復興が御言うないとすれば移動し易くない fact3: 「なんらかのものはオートＳＵＭでない」ということは確かだとすると協力出来るしかつ安くない fact4: もし仮にとあるものは戦後復興でないなら御言うない fact5: 仮に「その有期は不動産事業であるということはないしまたオートＳＵＭでない」ということは誤りであるならそれは移動し易い fact6: その有期は戦後復興でない fact7: 何らかの物はデータ・モデルだ fact8: 仮になにかは調べるとすると御言う fact9: 移動し易いものは調べる ; $hypothesis$ = その有期は協力出来るけど安くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その有期は不動産事業でなくてかつそれはオートＳＵＭでない」ということは誤りである」ということは正しい; fact5 & assump1 -> int1: その有期は移動し易い; fact9 -> int2: 仮にその有期が移動し易いとすればそれは調べる; int1 & int2 -> int3: その有期は調べる; fact8 -> int4: その有期が調べるとするとそれは御言う; int3 & int4 -> int5: その有期は御言う; fact4 -> int6: もし仮にその有期が戦後復興だということはないとすればそれは御言うない; int6 & fact6 -> int7: その有期は御言うない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その有期は不動産事業でないしおまけにオートＳＵＭでない; int9 -> int10: その有期はオートＳＵＭでない; fact3 -> int11: もしもその有期はオートＳＵＭでないとすれば「それは協力出来るが安いということはない」ということは成り立つ; int10 & int11 -> hypothesis; __PROVED__
事実1: もしも「データ・モデルな」物があるとしたらこの蔣政権は戦後復興であるが御言うない
事実2: もし仮に戦後復興が御言うないとすれば移動し易くない
事実3: 「なんらかのものはオートＳＵＭでない」ということは確かだとすると協力出来るしかつ安くない
事実4: もし仮にとあるものは戦後復興でないなら御言うない
事実5: 仮に「その有期は不動産事業であるということはないしまたオートＳＵＭでない」ということは誤りであるならそれは移動し易い
事実6: その有期は戦後復興でない
事実7: 何らかの物はデータ・モデルだ
事実8: 仮になにかは調べるとすると御言う
事実9: 移動し易いものは調べる

仮説: その有期は協力出来るけど安くない
1. 仮定1: 以下のように仮定する。「「その有期は不動産事業でなくてかつそれはオートＳＵＭでない」ということは誤りである」ということは正しい
2. 事実5と仮定1から、推論1: "その有期は移動し易い"が導かれる
3. 事実9から、推論2: "仮にその有期が移動し易いとすればそれは調べる"が導かれる
4. 推論1と推論2から、推論3: "その有期は調べる"が導かれる
5. 事実8から、推論4: "その有期が調べるとするとそれは御言う"が導かれる
6. 推論3と推論4から、推論5: "その有期は御言う"が導かれる
7. 事実4から、推論6: "もし仮にその有期が戦後復興だということはないとすればそれは御言うない"が導かれる
8. 推論6と事実6から、推論7: "その有期は御言うない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その有期は不動産事業でないしおまけにオートＳＵＭでない"が導かれる
11. 推論9から、推論10: "その有期はオートＳＵＭでない"が導かれる
12. 事実3から、推論11: "もしもその有期はオートＳＵＭでないとすれば「それは協力出来るが安いということはない」ということは成り立つ"が導かれる
13. 推論10と推論11から、仮説が導かれる

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