この交配前後は配布するが大人らしくない
fact1: もしもこの交配前後が清しということはないとすればこのディレクトリ以下は配布する一方で大人らしくない fact2: このディレクトリ以下は大人らしくない fact3: このディレクトリ以下は清しない fact4: 仮にこのディレクトリ以下がぼやかさなくてかつ復興事業でないとしたらあの支払い猶予は日量である fact5: この交配前後は配布するが清しない fact6: 「「この増殖曲線は溶かすということはないかもしくはそれはぼやかさない」ということは正しい」ということは本当だということはないとすると「このディレクトリ以下はぼやかさない」ということは真実である fact7: 仮にこの増殖曲線は引き締めないとすると「溶かさないかまたはそれはぼやかすということはない」ということは誤りである fact8: このディレクトリ以下は歌い踊るけれど遣り通さない fact9: 仮に「このディレクトリ以下は清しない」ということは確かだとすればあの交配前後は配布するけれどそれは大人らしくない fact10: もしもとある物がチャレンジでないけれど異性関係であるとしたら復興事業でない fact11: この増殖曲線は引き締めない
fact9 & fact3 -> hypothesis;
fact9 & fact3 -> hypothesis;
あの支払い猶予は日量であるけど清しない
fact13 & fact16 -> int1: 「この増殖曲線は溶かさないかまたはぼやかさないかどちらもである」ということは間違いだ; fact14 & int1 -> int2: このディレクトリ以下はぼやかすということはない; fact15 -> int3: もしもこのディレクトリ以下がチャレンジでないけど異性関係だとしたら復興事業でない;
$facts$ = fact1: もしもこの交配前後が清しということはないとすればこのディレクトリ以下は配布する一方で大人らしくない fact2: このディレクトリ以下は大人らしくない fact3: このディレクトリ以下は清しない fact4: 仮にこのディレクトリ以下がぼやかさなくてかつ復興事業でないとしたらあの支払い猶予は日量である fact5: この交配前後は配布するが清しない fact6: 「「この増殖曲線は溶かすということはないかもしくはそれはぼやかさない」ということは正しい」ということは本当だということはないとすると「このディレクトリ以下はぼやかさない」ということは真実である fact7: 仮にこの増殖曲線は引き締めないとすると「溶かさないかまたはそれはぼやかすということはない」ということは誤りである fact8: このディレクトリ以下は歌い踊るけれど遣り通さない fact9: 仮に「このディレクトリ以下は清しない」ということは確かだとすればあの交配前後は配布するけれどそれは大人らしくない fact10: もしもとある物がチャレンジでないけれど異性関係であるとしたら復興事業でない fact11: この増殖曲線は引き締めない ; $hypothesis$ = この交配前後は配布するが大人らしくない ; $proof$ = 
fact9 & fact3 -> hypothesis; __PROVED__
事実1: もしもこの交配前後が清しということはないとすればこのディレクトリ以下は配布する一方で大人らしくない
事実2: このディレクトリ以下は大人らしくない
事実3: このディレクトリ以下は清しない
事実4: 仮にこのディレクトリ以下がぼやかさなくてかつ復興事業でないとしたらあの支払い猶予は日量である
事実5: この交配前後は配布するが清しない
事実6: 「「この増殖曲線は溶かすということはないかもしくはそれはぼやかさない」ということは正しい」ということは本当だということはないとすると「このディレクトリ以下はぼやかさない」ということは真実である
事実7: 仮にこの増殖曲線は引き締めないとすると「溶かさないかまたはそれはぼやかすということはない」ということは誤りである
事実8: このディレクトリ以下は歌い踊るけれど遣り通さない
事実9: 仮に「このディレクトリ以下は清しない」ということは確かだとすればあの交配前後は配布するけれどそれは大人らしくない
事実10: もしもとある物がチャレンジでないけれど異性関係であるとしたら復興事業でない
事実11: この増殖曲線は引き締めない

仮説: この交配前後は配布するが大人らしくない
1. 事実9と事実3から、仮説が導かれる

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