その社会的影響計算書は匂わなくてその上自然らしいない
fact1: その社会的影響計算書が太しないとするとそれは自然らしくない fact2: もしその社会的影響計算書が匂うということはないとすれば水酸化酵素欠損症でない fact3: 仮に何かはクリアしないとすれば公費負担しないし匂わない fact4: この展望レストランは太しない fact5: 仮にその小石が命中するということはないとすればそれは彫らない fact6: その社会的影響計算書は通信ソフトウェアでない fact7: もしその社会的影響計算書が太しないとするとそれは匂わないしかつ自然らしくない fact8: 「その社会的影響計算書は太しない」ということは真実であるならばそれは刺し殺すということはなくて更に長距離夜行バスでない fact9: その社会的影響計算書は太しない fact10: もしそのメンテナンス性が遣り辛くないならば山深くないしさらにそれは自然らしくない fact11: 仮にこの教科目は日本語訛りでないとしたらそれは自然らしくないし液化しない fact12: その社会的影響計算書はちゃんとするということはない fact13: もしその社会的影響計算書が開廷しないとしたらそれは業務プロセスであるということはない
fact7 & fact9 -> hypothesis;
fact7 & fact9 -> hypothesis;
もし仮にこのタンガ支部がクリアしないなら公費負担しなくてそれに匂うということはない
fact14 -> hypothesis;
$facts$ = fact1: その社会的影響計算書が太しないとするとそれは自然らしくない fact2: もしその社会的影響計算書が匂うということはないとすれば水酸化酵素欠損症でない fact3: 仮に何かはクリアしないとすれば公費負担しないし匂わない fact4: この展望レストランは太しない fact5: 仮にその小石が命中するということはないとすればそれは彫らない fact6: その社会的影響計算書は通信ソフトウェアでない fact7: もしその社会的影響計算書が太しないとするとそれは匂わないしかつ自然らしくない fact8: 「その社会的影響計算書は太しない」ということは真実であるならばそれは刺し殺すということはなくて更に長距離夜行バスでない fact9: その社会的影響計算書は太しない fact10: もしそのメンテナンス性が遣り辛くないならば山深くないしさらにそれは自然らしくない fact11: 仮にこの教科目は日本語訛りでないとしたらそれは自然らしくないし液化しない fact12: その社会的影響計算書はちゃんとするということはない fact13: もしその社会的影響計算書が開廷しないとしたらそれは業務プロセスであるということはない ; $hypothesis$ = その社会的影響計算書は匂わなくてその上自然らしいない ; $proof$ = 
fact7 & fact9 -> hypothesis; __PROVED__
事実1: その社会的影響計算書が太しないとするとそれは自然らしくない
事実2: もしその社会的影響計算書が匂うということはないとすれば水酸化酵素欠損症でない
事実3: 仮に何かはクリアしないとすれば公費負担しないし匂わない
事実4: この展望レストランは太しない
事実5: 仮にその小石が命中するということはないとすればそれは彫らない
事実6: その社会的影響計算書は通信ソフトウェアでない
事実7: もしその社会的影響計算書が太しないとするとそれは匂わないしかつ自然らしくない
事実8: 「その社会的影響計算書は太しない」ということは真実であるならばそれは刺し殺すということはなくて更に長距離夜行バスでない
事実9: その社会的影響計算書は太しない
事実10: もしそのメンテナンス性が遣り辛くないならば山深くないしさらにそれは自然らしくない
事実11: 仮にこの教科目は日本語訛りでないとしたらそれは自然らしくないし液化しない
事実12: その社会的影響計算書はちゃんとするということはない
事実13: もしその社会的影響計算書が開廷しないとしたらそれは業務プロセスであるということはない

仮説: その社会的影響計算書は匂わなくてその上自然らしいない
1. 事実7と事実9から、仮説が導かれる

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