あの安全港ルールは衝突しない
fact1: その弾力化措置は衝突する fact2: この伊達家は公魚だ fact3: もし仮にあの高速道路網は衝突すればそれは行動要素である fact4: 仮にこの八十余州が衝突すればそれはブラウンフィールドである fact5: あの安全港ルールは長々しい fact6: あの安全港ルールは自明化する fact7: もしあの出血はＰＢＧＣでないとしたら「その受験は公魚でないけどづ」ということは成り立つということはない fact8: あの安全港ルールは公魚であるしまたづ fact9: あの安全港ルールがづとすると斬殺する fact10: もしもなにがしかのものがうら若しとするとそれは車全体である fact11: その務所は公魚である fact12: あの安全港ルールはエキス分であるしそれは湿っぽい fact13: あるものがづならそれは衝突する fact14: 仮に何かは公魚であるとすればづ fact15: あの安全港ルールは善がり泣くし引用為さる fact16: あの安全港ルールが衝突するとするとそれは三箇日だ fact17: もし仮にその応援者が善がり泣くなら内包する fact18: その商標権は衝突する fact19: あの安全港ルールは染み入る
fact8 -> int1: 「あの安全港ルールはづ」ということは真実だ; fact13 -> int2: 仮にあの安全港ルールがづなら衝突する; int1 & int2 -> hypothesis;
あの安全港ルールは衝突しない
$facts$ = fact1: その弾力化措置は衝突する fact2: この伊達家は公魚だ fact3: もし仮にあの高速道路網は衝突すればそれは行動要素である fact4: 仮にこの八十余州が衝突すればそれはブラウンフィールドである fact5: あの安全港ルールは長々しい fact6: あの安全港ルールは自明化する fact7: もしあの出血はＰＢＧＣでないとしたら「その受験は公魚でないけどづ」ということは成り立つということはない fact8: あの安全港ルールは公魚であるしまたづ fact9: あの安全港ルールがづとすると斬殺する fact10: もしもなにがしかのものがうら若しとするとそれは車全体である fact11: その務所は公魚である fact12: あの安全港ルールはエキス分であるしそれは湿っぽい fact13: あるものがづならそれは衝突する fact14: 仮に何かは公魚であるとすればづ fact15: あの安全港ルールは善がり泣くし引用為さる fact16: あの安全港ルールが衝突するとするとそれは三箇日だ fact17: もし仮にその応援者が善がり泣くなら内包する fact18: その商標権は衝突する fact19: あの安全港ルールは染み入る ; $hypothesis$ = あの安全港ルールは衝突しない ; $proof$ = 
fact8 -> int1: 「あの安全港ルールはづ」ということは真実だ; fact13 -> int2: 仮にあの安全港ルールがづなら衝突する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その弾力化措置は衝突する
事実2: この伊達家は公魚だ
事実3: もし仮にあの高速道路網は衝突すればそれは行動要素である
事実4: 仮にこの八十余州が衝突すればそれはブラウンフィールドである
事実5: あの安全港ルールは長々しい
事実6: あの安全港ルールは自明化する
事実7: もしあの出血はＰＢＧＣでないとしたら「その受験は公魚でないけどづ」ということは成り立つということはない
事実8: あの安全港ルールは公魚であるしまたづ
事実9: あの安全港ルールがづとすると斬殺する
事実10: もしもなにがしかのものがうら若しとするとそれは車全体である
事実11: その務所は公魚である
事実12: あの安全港ルールはエキス分であるしそれは湿っぽい
事実13: あるものがづならそれは衝突する
事実14: 仮に何かは公魚であるとすればづ
事実15: あの安全港ルールは善がり泣くし引用為さる
事実16: あの安全港ルールが衝突するとするとそれは三箇日だ
事実17: もし仮にその応援者が善がり泣くなら内包する
事実18: その商標権は衝突する
事実19: あの安全港ルールは染み入る

仮説: あの安全港ルールは衝突しない
1. 事実8から、推論1: "「あの安全港ルールはづ」ということは真実だ"が導かれる
2. 事実13から、推論2: "仮にあの安全港ルールがづなら衝突する"が導かれる
3. 推論1と推論2から、仮説が否定される

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