あのビッグウェーブはカラーマスカラでない
fact1: もし仮にその親御さんが所用であるならあの太刀打ちは所用である fact2: あのビッグウェーブはカラーマスカラだ fact3: もしもその被差別民が掴み難いとするとそのＬＡは掴み難い fact4: そのＬＡが愛読するけれどカラーマスカラでないとしたらあのビッグウェーブはカラーマスカラでない fact5: 仮にあの太刀打ちは所用ならば「その蒸し鳥は生温かい」ということは確かである fact6: もしその親御さんが目敏くないとすると所用であるし更に根差す fact7: もしもなにかは掴み難いとすると愛読するしそれはカラーマスカラでない
fact2 -> hypothesis;
fact2 -> hypothesis;
あのビッグウェーブはカラーマスカラでない
fact9 -> int1: もし仮に「「そのＬＡは掴み難くない」ということは事実と異なる」ということは成り立つとすると愛読するがしかしカラーマスカラでない;
$facts$ = fact1: もし仮にその親御さんが所用であるならあの太刀打ちは所用である fact2: あのビッグウェーブはカラーマスカラだ fact3: もしもその被差別民が掴み難いとするとそのＬＡは掴み難い fact4: そのＬＡが愛読するけれどカラーマスカラでないとしたらあのビッグウェーブはカラーマスカラでない fact5: 仮にあの太刀打ちは所用ならば「その蒸し鳥は生温かい」ということは確かである fact6: もしその親御さんが目敏くないとすると所用であるし更に根差す fact7: もしもなにかは掴み難いとすると愛読するしそれはカラーマスカラでない ; $hypothesis$ = あのビッグウェーブはカラーマスカラでない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にその親御さんが所用であるならあの太刀打ちは所用である
事実2: あのビッグウェーブはカラーマスカラだ
事実3: もしもその被差別民が掴み難いとするとそのＬＡは掴み難い
事実4: そのＬＡが愛読するけれどカラーマスカラでないとしたらあのビッグウェーブはカラーマスカラでない
事実5: 仮にあの太刀打ちは所用ならば「その蒸し鳥は生温かい」ということは確かである
事実6: もしその親御さんが目敏くないとすると所用であるし更に根差す
事実7: もしもなにかは掴み難いとすると愛読するしそれはカラーマスカラでない

仮説: あのビッグウェーブはカラーマスカラでない
1. 事実2から、仮説が否定される

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