その相互影響は糖蜜でない
fact1: もしもあの十月頃が汚いしその上下ろし易いとすればこの女性教員は糖蜜でない fact2: もし仮に「その玄黒はおどろおどろしい」ということは成り立つならばあの十月頃は汚い fact3: もし仮にあの光輝熱処理は暗殺教団でないとするとそれは三角関係であるし御詳しい fact4: 仮にこの女性教員が糖蜜でないとするとその相互影響は騙され易いしおまけに糖蜜である fact5: もしもあの光輝熱処理が御詳しいとすればその玄黒はおどろおどろしいかもしくは御詳しくない fact6: 「あの十月頃は下ろし易い」ということは成り立つ fact7: あの光輝熱処理は三角関係だ fact8: あの光輝熱処理は暗殺教団でない fact9: 仮に「その玄黒は御詳しくない」ということは成り立つとするとあの十月頃は汚い
fact3 & fact8 -> int1: あの光輝熱処理が三角関係だしそれは御詳しい; int1 -> int2: あの光輝熱処理は御詳しい; int2 & fact5 -> int3: その玄黒はおどろおどろしいかまたは御詳しくないか両方だ; int3 & fact2 & fact9 -> int4: 「あの十月頃は汚い」ということは事実である; int4 & fact6 -> int5: あの十月頃は汚くて下ろし易い; int5 & fact1 -> int6: この女性教員は糖蜜でない; int6 & fact4 -> int7: その相互影響は騙され易くてそれに糖蜜だ; int7 -> hypothesis;
$facts$ = fact1: もしもあの十月頃が汚いしその上下ろし易いとすればこの女性教員は糖蜜でない fact2: もし仮に「その玄黒はおどろおどろしい」ということは成り立つならばあの十月頃は汚い fact3: もし仮にあの光輝熱処理は暗殺教団でないとするとそれは三角関係であるし御詳しい fact4: 仮にこの女性教員が糖蜜でないとするとその相互影響は騙され易いしおまけに糖蜜である fact5: もしもあの光輝熱処理が御詳しいとすればその玄黒はおどろおどろしいかもしくは御詳しくない fact6: 「あの十月頃は下ろし易い」ということは成り立つ fact7: あの光輝熱処理は三角関係だ fact8: あの光輝熱処理は暗殺教団でない fact9: 仮に「その玄黒は御詳しくない」ということは成り立つとするとあの十月頃は汚い ; $hypothesis$ = その相互影響は糖蜜でない ; $proof$ = 
fact3 & fact8 -> int1: あの光輝熱処理が三角関係だしそれは御詳しい; int1 -> int2: あの光輝熱処理は御詳しい; int2 & fact5 -> int3: その玄黒はおどろおどろしいかまたは御詳しくないか両方だ; int3 & fact2 & fact9 -> int4: 「あの十月頃は汚い」ということは事実である; int4 & fact6 -> int5: あの十月頃は汚くて下ろし易い; int5 & fact1 -> int6: この女性教員は糖蜜でない; int6 & fact4 -> int7: その相互影響は騙され易くてそれに糖蜜だ; int7 -> hypothesis; __DISPROVED__
事実1: もしもあの十月頃が汚いしその上下ろし易いとすればこの女性教員は糖蜜でない
事実2: もし仮に「その玄黒はおどろおどろしい」ということは成り立つならばあの十月頃は汚い
事実3: もし仮にあの光輝熱処理は暗殺教団でないとするとそれは三角関係であるし御詳しい
事実4: 仮にこの女性教員が糖蜜でないとするとその相互影響は騙され易いしおまけに糖蜜である
事実5: もしもあの光輝熱処理が御詳しいとすればその玄黒はおどろおどろしいかもしくは御詳しくない
事実6: 「あの十月頃は下ろし易い」ということは成り立つ
事実7: あの光輝熱処理は三角関係だ
事実8: あの光輝熱処理は暗殺教団でない
事実9: 仮に「その玄黒は御詳しくない」ということは成り立つとするとあの十月頃は汚い

仮説: その相互影響は糖蜜でない
1. 事実3と事実8から、推論1: "あの光輝熱処理が三角関係だしそれは御詳しい"が導かれる
2. 推論1から、推論2: "あの光輝熱処理は御詳しい"が導かれる
3. 推論2と事実5から、推論3: "その玄黒はおどろおどろしいかまたは御詳しくないか両方だ"が導かれる
4. 推論3と事実2と事実9から、推論4: "「あの十月頃は汚い」ということは事実である"が導かれる
5. 推論4と事実6から、推論5: "あの十月頃は汚くて下ろし易い"が導かれる
6. 推論5と事実1から、推論6: "この女性教員は糖蜜でない"が導かれる
7. 推論6と事実4から、推論7: "その相互影響は騙され易くてそれに糖蜜だ"が導かれる
8. 推論7から、仮説が否定される

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