あの条項はクレーターでない
fact1: もしなんらかのものが目立ち始めれば個人全集だ fact2: あの条項は個人全集だ fact3: もしあの条項は個人全集であるとしたらそれは目立ち始める fact4: もしあの条項は個人全集であるならそれは成分採血装置である fact5: あの条項は自由アメリカ軍だ fact6: もしあの条項が個人全集ならばそれは監視塔である fact7: 仮に何らかの物はクレーターであるなら個人全集である fact8: もしなんらかの物が目立ち始めればクレーターである fact9: あの条項は詮無い fact10: あの目的点はクレーターである fact11: あの条項は成育である fact12: この在家は個人全集である fact13: 「あの労相はクレーターである」ということは成り立つ fact14: この脳外科医は目立ち始める fact15: 何かはギブアップするとしたら無形文化財だ
fact3 & fact2 -> int1: あの条項は目立ち始める; fact8 -> int2: もしあの条項が目立ち始めるとするとそれはクレーターである; int1 & int2 -> hypothesis;
$facts$ = fact1: もしなんらかのものが目立ち始めれば個人全集だ fact2: あの条項は個人全集だ fact3: もしあの条項は個人全集であるとしたらそれは目立ち始める fact4: もしあの条項は個人全集であるならそれは成分採血装置である fact5: あの条項は自由アメリカ軍だ fact6: もしあの条項が個人全集ならばそれは監視塔である fact7: 仮に何らかの物はクレーターであるなら個人全集である fact8: もしなんらかの物が目立ち始めればクレーターである fact9: あの条項は詮無い fact10: あの目的点はクレーターである fact11: あの条項は成育である fact12: この在家は個人全集である fact13: 「あの労相はクレーターである」ということは成り立つ fact14: この脳外科医は目立ち始める fact15: 何かはギブアップするとしたら無形文化財だ ; $hypothesis$ = あの条項はクレーターでない ; $proof$ = 
fact3 & fact2 -> int1: あの条項は目立ち始める; fact8 -> int2: もしあの条項が目立ち始めるとするとそれはクレーターである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものが目立ち始めれば個人全集だ
事実2: あの条項は個人全集だ
事実3: もしあの条項は個人全集であるとしたらそれは目立ち始める
事実4: もしあの条項は個人全集であるならそれは成分採血装置である
事実5: あの条項は自由アメリカ軍だ
事実6: もしあの条項が個人全集ならばそれは監視塔である
事実7: 仮に何らかの物はクレーターであるなら個人全集である
事実8: もしなんらかの物が目立ち始めればクレーターである
事実9: あの条項は詮無い
事実10: あの目的点はクレーターである
事実11: あの条項は成育である
事実12: この在家は個人全集である
事実13: 「あの労相はクレーターである」ということは成り立つ
事実14: この脳外科医は目立ち始める
事実15: 何かはギブアップするとしたら無形文化財だ

仮説: あの条項はクレーターでない
1. 事実3と事実2から、推論1: "あの条項は目立ち始める"が導かれる
2. 事実8から、推論2: "もしあの条項が目立ち始めるとするとそれはクレーターである"が導かれる
3. 推論1と推論2から、仮説が否定される

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