この高等教育機関は艶めかしくない
fact1: もしもこの管腔内が恋愛イベントでないとしたらこの高等教育機関は軟体動物でないし艶めかしくない fact2: もしも「この管腔内は心的回転である一方でそれは細胞系譜でない」ということは間違いだとすると「あの浜中町役場は恋愛イベントである」ということは成り立つ fact3: 「あの浜中町役場は艶めかしい」ということは確かである fact4: あの浜中町役場は細胞系譜である fact5: そのツール・バーは恋愛イベントである fact6: もし仮にそのツール・バーが艶めかしいとすればこの高等教育機関は軟体動物だ fact7: もし仮にそのツール・バーが軟体動物だとすればこの高等教育機関は艶めかしい fact8: もしもあの浜中町役場が恋愛イベントならばそのツール・バーは軟体動物だ fact9: 「この管腔内は心的回転であるけれど細胞系譜でない」ということは成り立つということはない
fact2 & fact9 -> int1: あの浜中町役場は恋愛イベントである; int1 & fact8 -> int2: そのツール・バーは軟体動物だ; int2 & fact7 -> hypothesis;
fact2 & fact9 -> int1: {B}{b}; int1 & fact8 -> int2: {A}{c}; int2 & fact7 -> hypothesis;
この高等教育機関は艶めかしくない
$facts$ = fact1: もしもこの管腔内が恋愛イベントでないとしたらこの高等教育機関は軟体動物でないし艶めかしくない fact2: もしも「この管腔内は心的回転である一方でそれは細胞系譜でない」ということは間違いだとすると「あの浜中町役場は恋愛イベントである」ということは成り立つ fact3: 「あの浜中町役場は艶めかしい」ということは確かである fact4: あの浜中町役場は細胞系譜である fact5: そのツール・バーは恋愛イベントである fact6: もし仮にそのツール・バーが艶めかしいとすればこの高等教育機関は軟体動物だ fact7: もし仮にそのツール・バーが軟体動物だとすればこの高等教育機関は艶めかしい fact8: もしもあの浜中町役場が恋愛イベントならばそのツール・バーは軟体動物だ fact9: 「この管腔内は心的回転であるけれど細胞系譜でない」ということは成り立つということはない ; $hypothesis$ = この高等教育機関は艶めかしくない ; $proof$ = 
fact2 & fact9 -> int1: あの浜中町役場は恋愛イベントである; int1 & fact8 -> int2: そのツール・バーは軟体動物だ; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもこの管腔内が恋愛イベントでないとしたらこの高等教育機関は軟体動物でないし艶めかしくない
事実2: もしも「この管腔内は心的回転である一方でそれは細胞系譜でない」ということは間違いだとすると「あの浜中町役場は恋愛イベントである」ということは成り立つ
事実3: 「あの浜中町役場は艶めかしい」ということは確かである
事実4: あの浜中町役場は細胞系譜である
事実5: そのツール・バーは恋愛イベントである
事実6: もし仮にそのツール・バーが艶めかしいとすればこの高等教育機関は軟体動物だ
事実7: もし仮にそのツール・バーが軟体動物だとすればこの高等教育機関は艶めかしい
事実8: もしもあの浜中町役場が恋愛イベントならばそのツール・バーは軟体動物だ
事実9: 「この管腔内は心的回転であるけれど細胞系譜でない」ということは成り立つということはない

仮説: この高等教育機関は艶めかしくない
1. 事実2と事実9から、推論1: "あの浜中町役場は恋愛イベントである"が導かれる
2. 推論1と事実8から、推論2: "そのツール・バーは軟体動物だ"が導かれる
3. 推論2と事実7から、仮説が否定される

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