あの千九百七十五年頃は舌打ちしない
fact1: あの千九百七十五年頃は舌打ちするということはなくてそれに聞き辛くない fact2: もしもその実況録音がせせこましくないとしたらこのゲーム論は舌打ちするし更にさもしい fact3: もしもあの支援団体がせせこましくなくてかつ苦しくないとするとその実況録音はせせこましくない fact4: あの千九百七十五年頃は聞き辛くない fact5: もし仮に何かは舌打ちするなら「組合等登記令だということはない」ということは成り立つ fact6: その公証人役場は流れ落ちなくて更に実装出来ない fact7: あの千九百七十五年頃は言い訳がましいということはない
fact1 -> hypothesis;
fact1 -> hypothesis;
このゲーム論は組合等登記令でなくて加えて聞き辛くない
fact8 -> int1: もしこのゲーム論が舌打ちすれば組合等登記令でない;
$facts$ = fact1: あの千九百七十五年頃は舌打ちするということはなくてそれに聞き辛くない fact2: もしもその実況録音がせせこましくないとしたらこのゲーム論は舌打ちするし更にさもしい fact3: もしもあの支援団体がせせこましくなくてかつ苦しくないとするとその実況録音はせせこましくない fact4: あの千九百七十五年頃は聞き辛くない fact5: もし仮に何かは舌打ちするなら「組合等登記令だということはない」ということは成り立つ fact6: その公証人役場は流れ落ちなくて更に実装出来ない fact7: あの千九百七十五年頃は言い訳がましいということはない ; $hypothesis$ = あの千九百七十五年頃は舌打ちしない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの千九百七十五年頃は舌打ちするということはなくてそれに聞き辛くない
事実2: もしもその実況録音がせせこましくないとしたらこのゲーム論は舌打ちするし更にさもしい
事実3: もしもあの支援団体がせせこましくなくてかつ苦しくないとするとその実況録音はせせこましくない
事実4: あの千九百七十五年頃は聞き辛くない
事実5: もし仮に何かは舌打ちするなら「組合等登記令だということはない」ということは成り立つ
事実6: その公証人役場は流れ落ちなくて更に実装出来ない
事実7: あの千九百七十五年頃は言い訳がましいということはない

仮説: あの千九百七十五年頃は舌打ちしない
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。