そのシステム導入は恋しい
fact1: そのシステム導入は程近くない fact2: 仮にこの新事業創出が果てし無いならばあのカラーパレットは果てし無い fact3: もしもあの文書構成は社会的交換でないとすると「それは外相であるかもしくはマゾヒストでないかもしくはどちらもだ」ということは誤りだ fact4: もし仮にそのカラーパレットが糾問しないならばこの新事業創出は糾問しないけれどエコファンドだ fact5: 仮にこの新事業創出が糾問しないけどそれがエコファンドであるならばあのシステム導入は恋しかない fact6: 「この新事業創出は供給すかもしくはそれはエコファンドでないかまたはどちらもだ」ということは誤りだ fact7: 「もし仮に「あの文書構成が言い訳はましくらなくてまた嘘っぽくない」ということは確かであるとすればあの文書構成はシルバーハウジング・プロジェクトでない」ということは間違いでない fact8: あの文書構成は数理物理学研究でない fact9: そのカラーパレットはシルバーハウジング・プロジェクトでない fact10: 「果てし無くない」ものはある fact11: 仮にそのカラーパレットが果てし無いならあの文書構成は恋しい fact12: もしなにがしかのものが果てし無くないとすればあの文書構成が言い訳はましくらなくて嘘っぽくない fact13: 仮にあの文書構成が恋しいならばそのシステム導入は恋しい fact14: あの文書構成は程近くないならば「外相であるかまたはそれは罹り易くないかまたは両方である」ということは間違いである fact15: もし仮にあの文書構成がシルバーハウジング・プロジェクトでないならばそれが程近いということはないしさらにそれは供給すらない fact16: もし「あの文書構成は外相であるかもしくはそれは罹り易くないか両方ともである」ということは間違いだとすればそのカラーパレットは糾問しない fact17: そのシステム導入はシルバーハウジング・プロジェクトでない
fact10 & fact12 -> int1: あの文書構成が言い訳はましくらないし嘘っぽくない; int1 & fact7 -> int2: あの文書構成はシルバーハウジング・プロジェクトでない; int2 & fact15 -> int3: あの文書構成は程近くなくてその上それは供給すらない; int3 -> int4: あの文書構成は程近くない; int4 & fact14 -> int5: 「「あの文書構成は外相であるかもしくは罹り易くない」ということは嘘だ」ということは本当だ; int5 & fact16 -> int6: そのカラーパレットは糾問しない; int6 & fact4 -> int7: この新事業創出は糾問するということはないけどエコファンドだ; int7 & fact5 -> hypothesis;
そのシステム導入は恋しい
$facts$ = fact1: そのシステム導入は程近くない fact2: 仮にこの新事業創出が果てし無いならばあのカラーパレットは果てし無い fact3: もしもあの文書構成は社会的交換でないとすると「それは外相であるかもしくはマゾヒストでないかもしくはどちらもだ」ということは誤りだ fact4: もし仮にそのカラーパレットが糾問しないならばこの新事業創出は糾問しないけれどエコファンドだ fact5: 仮にこの新事業創出が糾問しないけどそれがエコファンドであるならばあのシステム導入は恋しかない fact6: 「この新事業創出は供給すかもしくはそれはエコファンドでないかまたはどちらもだ」ということは誤りだ fact7: 「もし仮に「あの文書構成が言い訳はましくらなくてまた嘘っぽくない」ということは確かであるとすればあの文書構成はシルバーハウジング・プロジェクトでない」ということは間違いでない fact8: あの文書構成は数理物理学研究でない fact9: そのカラーパレットはシルバーハウジング・プロジェクトでない fact10: 「果てし無くない」ものはある fact11: 仮にそのカラーパレットが果てし無いならあの文書構成は恋しい fact12: もしなにがしかのものが果てし無くないとすればあの文書構成が言い訳はましくらなくて嘘っぽくない fact13: 仮にあの文書構成が恋しいならばそのシステム導入は恋しい fact14: あの文書構成は程近くないならば「外相であるかまたはそれは罹り易くないかまたは両方である」ということは間違いである fact15: もし仮にあの文書構成がシルバーハウジング・プロジェクトでないならばそれが程近いということはないしさらにそれは供給すらない fact16: もし「あの文書構成は外相であるかもしくはそれは罹り易くないか両方ともである」ということは間違いだとすればそのカラーパレットは糾問しない fact17: そのシステム導入はシルバーハウジング・プロジェクトでない ; $hypothesis$ = そのシステム導入は恋しい ; $proof$ = 
fact10 & fact12 -> int1: あの文書構成が言い訳はましくらないし嘘っぽくない; int1 & fact7 -> int2: あの文書構成はシルバーハウジング・プロジェクトでない; int2 & fact15 -> int3: あの文書構成は程近くなくてその上それは供給すらない; int3 -> int4: あの文書構成は程近くない; int4 & fact14 -> int5: 「「あの文書構成は外相であるかもしくは罹り易くない」ということは嘘だ」ということは本当だ; int5 & fact16 -> int6: そのカラーパレットは糾問しない; int6 & fact4 -> int7: この新事業創出は糾問するということはないけどエコファンドだ; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: そのシステム導入は程近くない
事実2: 仮にこの新事業創出が果てし無いならばあのカラーパレットは果てし無い
事実3: もしもあの文書構成は社会的交換でないとすると「それは外相であるかもしくはマゾヒストでないかもしくはどちらもだ」ということは誤りだ
事実4: もし仮にそのカラーパレットが糾問しないならばこの新事業創出は糾問しないけれどエコファンドだ
事実5: 仮にこの新事業創出が糾問しないけどそれがエコファンドであるならばあのシステム導入は恋しかない
事実6: 「この新事業創出は供給すかもしくはそれはエコファンドでないかまたはどちらもだ」ということは誤りだ
事実7: 「もし仮に「あの文書構成が言い訳はましくらなくてまた嘘っぽくない」ということは確かであるとすればあの文書構成はシルバーハウジング・プロジェクトでない」ということは間違いでない
事実8: あの文書構成は数理物理学研究でない
事実9: そのカラーパレットはシルバーハウジング・プロジェクトでない
事実10: 「果てし無くない」ものはある
事実11: 仮にそのカラーパレットが果てし無いならあの文書構成は恋しい
事実12: もしなにがしかのものが果てし無くないとすればあの文書構成が言い訳はましくらなくて嘘っぽくない
事実13: 仮にあの文書構成が恋しいならばそのシステム導入は恋しい
事実14: あの文書構成は程近くないならば「外相であるかまたはそれは罹り易くないかまたは両方である」ということは間違いである
事実15: もし仮にあの文書構成がシルバーハウジング・プロジェクトでないならばそれが程近いということはないしさらにそれは供給すらない
事実16: もし「あの文書構成は外相であるかもしくはそれは罹り易くないか両方ともである」ということは間違いだとすればそのカラーパレットは糾問しない
事実17: そのシステム導入はシルバーハウジング・プロジェクトでない

仮説: そのシステム導入は恋しい
1. 事実10と事実12から、推論1: "あの文書構成が言い訳はましくらないし嘘っぽくない"が導かれる
2. 推論1と事実7から、推論2: "あの文書構成はシルバーハウジング・プロジェクトでない"が導かれる
3. 推論2と事実15から、推論3: "あの文書構成は程近くなくてその上それは供給すらない"が導かれる
4. 推論3から、推論4: "あの文書構成は程近くない"が導かれる
5. 推論4と事実14から、推論5: "「「あの文書構成は外相であるかもしくは罹り易くない」ということは嘘だ」ということは本当だ"が導かれる
6. 推論5と事実16から、推論6: "そのカラーパレットは糾問しない"が導かれる
7. 推論6と事実4から、推論7: "この新事業創出は糾問するということはないけどエコファンドだ"が導かれる
8. 推論7と事実5から、仮説が否定される

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