あの七参照はハウスボートでない
fact1: 「そのインターネット上はほくほくしない」ということは成り立つ fact2: あの七参照はＸＡである fact3: もしそのインターネット上が出し合うとすればこの完成工事総利益はハウスボートである fact4: あの七参照は逸脱する fact5: 仮にそのインターネット上は障害等級であるなら「この完成工事総利益はハウスボートである」ということは成り立つ fact6: あの七参照は逸脱するしさらにハウスボートだ fact7: 仮に何らかのものが障害等級でないとしたらそれは逸脱しないし加えてそれは出し合う fact8: あるものがハウスボートならそれは河奈裕正等である fact9: この猛練習は逸脱する fact10: もし仮にそのインターネット上がほくほくしないならば出し合うかあるいは障害等級だ
fact6 -> hypothesis;
fact6 -> hypothesis;
この完成工事総利益はおっかない河奈裕正等である
fact12 -> int1: 仮に「この完成工事総利益はハウスボートである」ということは事実であるなら河奈裕正等だ; fact13 & fact11 -> int2: そのインターネット上は出し合うかまたは障害等級であるかもしくはどちらもである; fact14 & fact15 & int2 -> int3: 「この完成工事総利益はハウスボートである」ということは事実と異ならない; int1 & int3 -> int4: この完成工事総利益は河奈裕正等である;
$facts$ = fact1: 「そのインターネット上はほくほくしない」ということは成り立つ fact2: あの七参照はＸＡである fact3: もしそのインターネット上が出し合うとすればこの完成工事総利益はハウスボートである fact4: あの七参照は逸脱する fact5: 仮にそのインターネット上は障害等級であるなら「この完成工事総利益はハウスボートである」ということは成り立つ fact6: あの七参照は逸脱するしさらにハウスボートだ fact7: 仮に何らかのものが障害等級でないとしたらそれは逸脱しないし加えてそれは出し合う fact8: あるものがハウスボートならそれは河奈裕正等である fact9: この猛練習は逸脱する fact10: もし仮にそのインターネット上がほくほくしないならば出し合うかあるいは障害等級だ ; $hypothesis$ = あの七参照はハウスボートでない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 「そのインターネット上はほくほくしない」ということは成り立つ
事実2: あの七参照はＸＡである
事実3: もしそのインターネット上が出し合うとすればこの完成工事総利益はハウスボートである
事実4: あの七参照は逸脱する
事実5: 仮にそのインターネット上は障害等級であるなら「この完成工事総利益はハウスボートである」ということは成り立つ
事実6: あの七参照は逸脱するしさらにハウスボートだ
事実7: 仮に何らかのものが障害等級でないとしたらそれは逸脱しないし加えてそれは出し合う
事実8: あるものがハウスボートならそれは河奈裕正等である
事実9: この猛練習は逸脱する
事実10: もし仮にそのインターネット上がほくほくしないならば出し合うかあるいは障害等級だ

仮説: あの七参照はハウスボートでない
1. 事実6から、仮説が否定される

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