この神経反射は軽ーい
fact1: あの夫婦関係は軽ーい fact2: このキリエ侯は軽ーくない fact3: この神経反射はジでないならそれは一橋脚であるけど軽ーくない fact4: あの夫婦関係は徒らっぽくない fact5: あの夫婦関係がジである一方で一橋脚でないなら「この神経反射は軽ーい」ということは事実だ fact6: 「あの夫婦関係は一橋脚でない」ということは本当だ fact7: もし仮にあの夫婦関係がジだしさらに一橋脚であるなら「この神経反射は軽ーい」ということは成り立つ fact8: もしあの三歳年上が一橋脚でないならばそれは使い辛いしさらにそれは本当らしくない fact9: この神経反射は一橋脚であるがしかし気持ち以上でない fact10: もしあの夫婦関係が徒らっぽいということはないとすればそれは一橋脚でない fact11: もしもこの神経反射が一橋脚であるけれどジでないとするとあの夫婦関係は軽ーい fact12: この神経反射は意表でない fact13: 「もしもこの神経反射がプランしないとしたらこの神経反射は御美しい一方で軽ーいということはない」ということは事実だ fact14: 仮にこの神経反射が徒らっぽいということはないとすると一橋脚であるし軽ーくない fact15: 「仮にこの神経反射が一橋脚であるけど徒らっぽくないとしたらあの夫婦関係は軽ーい」ということは成り立つ fact16: 「この神経反射は出でるということはない」ということは真実である fact17: 仮にあの夫婦関係が徒らっぽくないとしたらそれはジである一方で一橋脚でない
fact17 & fact4 -> int1: あの夫婦関係はジである一方でそれは一橋脚でない; int1 & fact5 -> hypothesis;
$facts$ = fact1: あの夫婦関係は軽ーい fact2: このキリエ侯は軽ーくない fact3: この神経反射はジでないならそれは一橋脚であるけど軽ーくない fact4: あの夫婦関係は徒らっぽくない fact5: あの夫婦関係がジである一方で一橋脚でないなら「この神経反射は軽ーい」ということは事実だ fact6: 「あの夫婦関係は一橋脚でない」ということは本当だ fact7: もし仮にあの夫婦関係がジだしさらに一橋脚であるなら「この神経反射は軽ーい」ということは成り立つ fact8: もしあの三歳年上が一橋脚でないならばそれは使い辛いしさらにそれは本当らしくない fact9: この神経反射は一橋脚であるがしかし気持ち以上でない fact10: もしあの夫婦関係が徒らっぽいということはないとすればそれは一橋脚でない fact11: もしもこの神経反射が一橋脚であるけれどジでないとするとあの夫婦関係は軽ーい fact12: この神経反射は意表でない fact13: 「もしもこの神経反射がプランしないとしたらこの神経反射は御美しい一方で軽ーいということはない」ということは事実だ fact14: 仮にこの神経反射が徒らっぽいということはないとすると一橋脚であるし軽ーくない fact15: 「仮にこの神経反射が一橋脚であるけど徒らっぽくないとしたらあの夫婦関係は軽ーい」ということは成り立つ fact16: 「この神経反射は出でるということはない」ということは真実である fact17: 仮にあの夫婦関係が徒らっぽくないとしたらそれはジである一方で一橋脚でない ; $hypothesis$ = この神経反射は軽ーい ; $proof$ = 
fact17 & fact4 -> int1: あの夫婦関係はジである一方でそれは一橋脚でない; int1 & fact5 -> hypothesis; __PROVED__
事実1: あの夫婦関係は軽ーい
事実2: このキリエ侯は軽ーくない
事実3: この神経反射はジでないならそれは一橋脚であるけど軽ーくない
事実4: あの夫婦関係は徒らっぽくない
事実5: あの夫婦関係がジである一方で一橋脚でないなら「この神経反射は軽ーい」ということは事実だ
事実6: 「あの夫婦関係は一橋脚でない」ということは本当だ
事実7: もし仮にあの夫婦関係がジだしさらに一橋脚であるなら「この神経反射は軽ーい」ということは成り立つ
事実8: もしあの三歳年上が一橋脚でないならばそれは使い辛いしさらにそれは本当らしくない
事実9: この神経反射は一橋脚であるがしかし気持ち以上でない
事実10: もしあの夫婦関係が徒らっぽいということはないとすればそれは一橋脚でない
事実11: もしもこの神経反射が一橋脚であるけれどジでないとするとあの夫婦関係は軽ーい
事実12: この神経反射は意表でない
事実13: 「もしもこの神経反射がプランしないとしたらこの神経反射は御美しい一方で軽ーいということはない」ということは事実だ
事実14: 仮にこの神経反射が徒らっぽいということはないとすると一橋脚であるし軽ーくない
事実15: 「仮にこの神経反射が一橋脚であるけど徒らっぽくないとしたらあの夫婦関係は軽ーい」ということは成り立つ
事実16: 「この神経反射は出でるということはない」ということは真実である
事実17: 仮にあの夫婦関係が徒らっぽくないとしたらそれはジである一方で一橋脚でない

仮説: この神経反射は軽ーい
1. 事実17と事実4から、推論1: "あの夫婦関係はジである一方でそれは一橋脚でない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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