その内庭は海面近くでない
fact1: 仮になんらかの物が食害しないとすると訓読みしないか経済的状況でないかあるいは両方だ fact2: 仮にその内庭は沼田公園駐車場利用でないかもしくは暗過ぎないならばそれは海面近くだ fact3: もしとあるものは海面近くでないかもしくはホイルシンボルであるということはないかあるいは両方なら食害しない fact4: もしこの小銭がおもろいとしたらその組員は御寂しいが最終責任者であるということはない fact5: もしこの小銭が塩っ辛いとしたらそれはおもろい fact6: 何かは御寂しいけれど最終責任者でないとするとホイルシンボルでない fact7: その肋間筋は暗過ぎないかもしくは摩り下ろしないかまたは両方である fact8: その内庭は沼田公園駐車場利用であるかまたは暗過ぎないかまたはどちらもである fact9: その内庭は沼田公園駐車場利用であるということはないかもしくは暗過ぎるということはない fact10: もしもあるものはホイルシンボルでないならばそれは海面近くでない
fact2 & fact9 -> hypothesis;
fact2 & fact9 -> hypothesis;
その内庭は海面近くだということはない
fact14 -> int1: もしもその組員はホイルシンボルでないとしたら海面近くでない; fact13 -> int2: もし仮にその組員は御寂しいが最終責任者でないとするとホイルシンボルでない;
$facts$ = fact1: 仮になんらかの物が食害しないとすると訓読みしないか経済的状況でないかあるいは両方だ fact2: 仮にその内庭は沼田公園駐車場利用でないかもしくは暗過ぎないならばそれは海面近くだ fact3: もしとあるものは海面近くでないかもしくはホイルシンボルであるということはないかあるいは両方なら食害しない fact4: もしこの小銭がおもろいとしたらその組員は御寂しいが最終責任者であるということはない fact5: もしこの小銭が塩っ辛いとしたらそれはおもろい fact6: 何かは御寂しいけれど最終責任者でないとするとホイルシンボルでない fact7: その肋間筋は暗過ぎないかもしくは摩り下ろしないかまたは両方である fact8: その内庭は沼田公園駐車場利用であるかまたは暗過ぎないかまたはどちらもである fact9: その内庭は沼田公園駐車場利用であるということはないかもしくは暗過ぎるということはない fact10: もしもあるものはホイルシンボルでないならばそれは海面近くでない ; $hypothesis$ = その内庭は海面近くでない ; $proof$ = 
fact2 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物が食害しないとすると訓読みしないか経済的状況でないかあるいは両方だ
事実2: 仮にその内庭は沼田公園駐車場利用でないかもしくは暗過ぎないならばそれは海面近くだ
事実3: もしとあるものは海面近くでないかもしくはホイルシンボルであるということはないかあるいは両方なら食害しない
事実4: もしこの小銭がおもろいとしたらその組員は御寂しいが最終責任者であるということはない
事実5: もしこの小銭が塩っ辛いとしたらそれはおもろい
事実6: 何かは御寂しいけれど最終責任者でないとするとホイルシンボルでない
事実7: その肋間筋は暗過ぎないかもしくは摩り下ろしないかまたは両方である
事実8: その内庭は沼田公園駐車場利用であるかまたは暗過ぎないかまたはどちらもである
事実9: その内庭は沼田公園駐車場利用であるということはないかもしくは暗過ぎるということはない
事実10: もしもあるものはホイルシンボルでないならばそれは海面近くでない

仮説: その内庭は海面近くでない
1. 事実2と事実9から、仮説が否定される

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