このレイティングは田畑でない
fact1: もし「「とあるものは田畑であるし汚れ難い」ということは正しい」ということは事実と異なるとしたら田畑でない fact2: 何らかのものは汚れ難くないかまたは伏在しない fact3: もし仮にあのコートは憎しないとしたら「この串焼きは田畑でないしおまけに伏在しない」ということは事実と異なる fact4: 仮に「汚れ難くない」物があるならばあの営業取り引きは報告す fact5: 「戻し易くないかまたは罹病するかあるいは両方な」ものはある fact6: 「田畑でないか罹病しないかもしくは両方な」物があるとすればこの手直し方法は頑是無い fact7: なにかは汚れ難くないかそれが伏在しないか両方ともだとすればこのレイティングは田畑である fact8: もし仮に「あのカメラ用ソフトは汚れ難くない」ということは成り立つとしたらこのレイティングは人間臭くないかあるいは違憲判決でないかもしくは両方だ fact9: とあるものは貸与しないかあるいはしおらしいかもしくは両方である fact10: もし仮に「流され易くない」物があるとするとこのレイティングは汚れ難い fact11: もしこの市区町村社協がし続けるかまたは経営指標であるとするとあのコートは憎しない
fact2 & fact7 -> hypothesis;
fact2 & fact7 -> hypothesis;
とあるものは人間臭くないかもしくは違憲判決でないかまたは両方である
$facts$ = fact1: もし「「とあるものは田畑であるし汚れ難い」ということは正しい」ということは事実と異なるとしたら田畑でない fact2: 何らかのものは汚れ難くないかまたは伏在しない fact3: もし仮にあのコートは憎しないとしたら「この串焼きは田畑でないしおまけに伏在しない」ということは事実と異なる fact4: 仮に「汚れ難くない」物があるならばあの営業取り引きは報告す fact5: 「戻し易くないかまたは罹病するかあるいは両方な」ものはある fact6: 「田畑でないか罹病しないかもしくは両方な」物があるとすればこの手直し方法は頑是無い fact7: なにかは汚れ難くないかそれが伏在しないか両方ともだとすればこのレイティングは田畑である fact8: もし仮に「あのカメラ用ソフトは汚れ難くない」ということは成り立つとしたらこのレイティングは人間臭くないかあるいは違憲判決でないかもしくは両方だ fact9: とあるものは貸与しないかあるいはしおらしいかもしくは両方である fact10: もし仮に「流され易くない」物があるとするとこのレイティングは汚れ難い fact11: もしこの市区町村社協がし続けるかまたは経営指標であるとするとあのコートは憎しない ; $hypothesis$ = このレイティングは田畑でない ; $proof$ = 
fact2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「「とあるものは田畑であるし汚れ難い」ということは正しい」ということは事実と異なるとしたら田畑でない
事実2: 何らかのものは汚れ難くないかまたは伏在しない
事実3: もし仮にあのコートは憎しないとしたら「この串焼きは田畑でないしおまけに伏在しない」ということは事実と異なる
事実4: 仮に「汚れ難くない」物があるならばあの営業取り引きは報告す
事実5: 「戻し易くないかまたは罹病するかあるいは両方な」ものはある
事実6: 「田畑でないか罹病しないかもしくは両方な」物があるとすればこの手直し方法は頑是無い
事実7: なにかは汚れ難くないかそれが伏在しないか両方ともだとすればこのレイティングは田畑である
事実8: もし仮に「あのカメラ用ソフトは汚れ難くない」ということは成り立つとしたらこのレイティングは人間臭くないかあるいは違憲判決でないかもしくは両方だ
事実9: とあるものは貸与しないかあるいはしおらしいかもしくは両方である
事実10: もし仮に「流され易くない」物があるとするとこのレイティングは汚れ難い
事実11: もしこの市区町村社協がし続けるかまたは経営指標であるとするとあのコートは憎しない

仮説: このレイティングは田畑でない
1. 事実2と事実7から、仮説が否定される

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