この古代ギリシャ人は退廃しない
fact1: その包丁刀は退廃する fact2: もし現金以外が契約成立時ならば出易くない fact3: もしもその包丁刀が執筆するとすればこの古代ギリシャ人は現金以外だ fact4: その包丁刀は執筆する fact5: この古代ギリシャ人は選択出来るしおまけに契約成立時である fact6: 出易くない物は退廃するということはない fact7: この三神流は執筆する
fact3 & fact4 -> int1: この古代ギリシャ人は現金以外である; fact5 -> int2: この古代ギリシャ人は契約成立時だ; int1 & int2 -> int3: この古代ギリシャ人は現金以外で契約成立時である; fact2 -> int4: この古代ギリシャ人は現金以外で加えて契約成立時だとしたらそれは出易いということはない; int3 & int4 -> int5: この古代ギリシャ人は出易いということはない; fact6 -> int6: もしもこの古代ギリシャ人が出易くないとすれば退廃しない; int5 & int6 -> hypothesis;
$facts$ = fact1: その包丁刀は退廃する fact2: もし現金以外が契約成立時ならば出易くない fact3: もしもその包丁刀が執筆するとすればこの古代ギリシャ人は現金以外だ fact4: その包丁刀は執筆する fact5: この古代ギリシャ人は選択出来るしおまけに契約成立時である fact6: 出易くない物は退廃するということはない fact7: この三神流は執筆する ; $hypothesis$ = この古代ギリシャ人は退廃しない ; $proof$ = 
fact3 & fact4 -> int1: この古代ギリシャ人は現金以外である; fact5 -> int2: この古代ギリシャ人は契約成立時だ; int1 & int2 -> int3: この古代ギリシャ人は現金以外で契約成立時である; fact2 -> int4: この古代ギリシャ人は現金以外で加えて契約成立時だとしたらそれは出易いということはない; int3 & int4 -> int5: この古代ギリシャ人は出易いということはない; fact6 -> int6: もしもこの古代ギリシャ人が出易くないとすれば退廃しない; int5 & int6 -> hypothesis; __PROVED__
事実1: その包丁刀は退廃する
事実2: もし現金以外が契約成立時ならば出易くない
事実3: もしもその包丁刀が執筆するとすればこの古代ギリシャ人は現金以外だ
事実4: その包丁刀は執筆する
事実5: この古代ギリシャ人は選択出来るしおまけに契約成立時である
事実6: 出易くない物は退廃するということはない
事実7: この三神流は執筆する

仮説: この古代ギリシャ人は退廃しない
1. 事実3と事実4から、推論1: "この古代ギリシャ人は現金以外である"が導かれる
2. 事実5から、推論2: "この古代ギリシャ人は契約成立時だ"が導かれる
3. 推論1と推論2から、推論3: "この古代ギリシャ人は現金以外で契約成立時である"が導かれる
4. 事実2から、推論4: "この古代ギリシャ人は現金以外で加えて契約成立時だとしたらそれは出易いということはない"が導かれる
5. 推論3と推論4から、推論5: "この古代ギリシャ人は出易いということはない"が導かれる
6. 事実6から、推論6: "もしもこの古代ギリシャ人が出易くないとすれば退廃しない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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