そのマリオット・ホテルは採掘出来る
fact1: 「透徹する」ものはある fact2: 「イデーである」物はある fact3: なんらかのものは採掘出来る fact4: 仮に「「透徹する」ということは成り立つ」ものはあるとすれば「その委員会活動はイデーでなくてしかもそれは軽々しかない」ということは成り立たない fact5: 「その委員会活動はイデーでないしそれは軽々しいということはない」ということは真実でないならそのマリオット・ホテルは採掘出来ない fact6: 「そのマリオット・ホテルは我が家でないがしかしそれは透徹する」ということは成り立たない fact7: もしも「透徹する」ものはあるとすれば「その委員会活動はイデーでないけど軽々しい」ということは間違いだ
fact1 & fact4 -> int1: 「その委員会活動はイデーでないしさらにそれは軽々しかない」ということは成り立たない; int1 & fact5 -> hypothesis;
$facts$ = fact1: 「透徹する」ものはある fact2: 「イデーである」物はある fact3: なんらかのものは採掘出来る fact4: 仮に「「透徹する」ということは成り立つ」ものはあるとすれば「その委員会活動はイデーでなくてしかもそれは軽々しかない」ということは成り立たない fact5: 「その委員会活動はイデーでないしそれは軽々しいということはない」ということは真実でないならそのマリオット・ホテルは採掘出来ない fact6: 「そのマリオット・ホテルは我が家でないがしかしそれは透徹する」ということは成り立たない fact7: もしも「透徹する」ものはあるとすれば「その委員会活動はイデーでないけど軽々しい」ということは間違いだ ; $hypothesis$ = そのマリオット・ホテルは採掘出来る ; $proof$ = 
fact1 & fact4 -> int1: 「その委員会活動はイデーでないしさらにそれは軽々しかない」ということは成り立たない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「透徹する」ものはある
事実2: 「イデーである」物はある
事実3: なんらかのものは採掘出来る
事実4: 仮に「「透徹する」ということは成り立つ」ものはあるとすれば「その委員会活動はイデーでなくてしかもそれは軽々しかない」ということは成り立たない
事実5: 「その委員会活動はイデーでないしそれは軽々しいということはない」ということは真実でないならそのマリオット・ホテルは採掘出来ない
事実6: 「そのマリオット・ホテルは我が家でないがしかしそれは透徹する」ということは成り立たない
事実7: もしも「透徹する」ものはあるとすれば「その委員会活動はイデーでないけど軽々しい」ということは間違いだ

仮説: そのマリオット・ホテルは採掘出来る
1. 事実1と事実4から、推論1: "「その委員会活動はイデーでないしさらにそれは軽々しかない」ということは成り立たない"が導かれる
2. 推論1と事実5から、仮説が否定される

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