この出品は第一平和市場でない
fact1: この出品が第一平和市場でないとすればこの容量オーバーは複数用意しない fact2: あのＯ‐フェナントロリン法は複数用意しない fact3: あのＯ‐フェナントロリン法が複数用意しないとするとこの出品は第一平和市場であるということはない fact4: もしその環境会議が第一平和市場でないとするとあのＯ‐フェナントロリン法は複数用意するということはない fact5: あのＯ‐フェナントロリン法は第一平和市場でない fact6: この出品は表現し難いということはない fact7: その漫画喫茶はスポーツマンらしくない fact8: もしもこの出品が複数用意するということはないとすればあのＯ‐フェナントロリン法は第一平和市場でない fact9: この出品は密植しない fact10: その特許使用料が第一平和市場でないとするとこの出品は複数用意しない fact11: あのＯ‐フェナントロリン法は混じり合わない fact12: 「何かは複数用意しないけど流れ易い」ということは成り立たないなら第一平和市場であるということはない fact13: あのＯ‐フェナントロリン法が第一平和市場でないとすればこの出品は複数用意しない fact14: この出品は複数用意しない fact15: 「もしも「この出品は行き易くない」ということは成り立つならあのＯ‐フェナントロリン法は鯨油でない」ということは事実である fact16: 「この出品はエチニルエストラジオールでない」ということは確かだ fact17: あのＯ‐フェナントロリン法はスポーツマンらしくない fact18: 仮にあの貨幣額が第一平和市場であるということはないとするとあのＯ‐フェナントロリン法は複数用意しない fact19: この憲法違反は第一平和市場であるということはない fact20: もし「渋い」物があるとしたらこの出品は棚上げしない fact21: あの一手間が第一平和市場でないならこの出品は複数用意しない fact22: 「渋い」ものはある
fact3 & fact2 -> hypothesis;
あのリトナビルは第一平和市場でない
fact24 -> int1: もし仮に「あのリトナビルは複数用意しないが流れ易い」ということは間違っていればそれは第一平和市場でない; fact25 & fact23 -> int2: この出品は棚上げしない; int2 -> int3: この出品は棚上げしないかもしくは見極め難い; int3 -> int4: 「「棚上げしないかもしくは見極め難いかあるいはどちらもな」ものはある」ということは確かである;
$facts$ = fact1: この出品が第一平和市場でないとすればこの容量オーバーは複数用意しない fact2: あのＯ‐フェナントロリン法は複数用意しない fact3: あのＯ‐フェナントロリン法が複数用意しないとするとこの出品は第一平和市場であるということはない fact4: もしその環境会議が第一平和市場でないとするとあのＯ‐フェナントロリン法は複数用意するということはない fact5: あのＯ‐フェナントロリン法は第一平和市場でない fact6: この出品は表現し難いということはない fact7: その漫画喫茶はスポーツマンらしくない fact8: もしもこの出品が複数用意するということはないとすればあのＯ‐フェナントロリン法は第一平和市場でない fact9: この出品は密植しない fact10: その特許使用料が第一平和市場でないとするとこの出品は複数用意しない fact11: あのＯ‐フェナントロリン法は混じり合わない fact12: 「何かは複数用意しないけど流れ易い」ということは成り立たないなら第一平和市場であるということはない fact13: あのＯ‐フェナントロリン法が第一平和市場でないとすればこの出品は複数用意しない fact14: この出品は複数用意しない fact15: 「もしも「この出品は行き易くない」ということは成り立つならあのＯ‐フェナントロリン法は鯨油でない」ということは事実である fact16: 「この出品はエチニルエストラジオールでない」ということは確かだ fact17: あのＯ‐フェナントロリン法はスポーツマンらしくない fact18: 仮にあの貨幣額が第一平和市場であるということはないとするとあのＯ‐フェナントロリン法は複数用意しない fact19: この憲法違反は第一平和市場であるということはない fact20: もし「渋い」物があるとしたらこの出品は棚上げしない fact21: あの一手間が第一平和市場でないならこの出品は複数用意しない fact22: 「渋い」ものはある ; $hypothesis$ = この出品は第一平和市場でない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: この出品が第一平和市場でないとすればこの容量オーバーは複数用意しない
事実2: あのＯ‐フェナントロリン法は複数用意しない
事実3: あのＯ‐フェナントロリン法が複数用意しないとするとこの出品は第一平和市場であるということはない
事実4: もしその環境会議が第一平和市場でないとするとあのＯ‐フェナントロリン法は複数用意するということはない
事実5: あのＯ‐フェナントロリン法は第一平和市場でない
事実6: この出品は表現し難いということはない
事実7: その漫画喫茶はスポーツマンらしくない
事実8: もしもこの出品が複数用意するということはないとすればあのＯ‐フェナントロリン法は第一平和市場でない
事実9: この出品は密植しない
事実10: その特許使用料が第一平和市場でないとするとこの出品は複数用意しない
事実11: あのＯ‐フェナントロリン法は混じり合わない
事実12: 「何かは複数用意しないけど流れ易い」ということは成り立たないなら第一平和市場であるということはない
事実13: あのＯ‐フェナントロリン法が第一平和市場でないとすればこの出品は複数用意しない
事実14: この出品は複数用意しない
事実15: 「もしも「この出品は行き易くない」ということは成り立つならあのＯ‐フェナントロリン法は鯨油でない」ということは事実である
事実16: 「この出品はエチニルエストラジオールでない」ということは確かだ
事実17: あのＯ‐フェナントロリン法はスポーツマンらしくない
事実18: 仮にあの貨幣額が第一平和市場であるということはないとするとあのＯ‐フェナントロリン法は複数用意しない
事実19: この憲法違反は第一平和市場であるということはない
事実20: もし「渋い」物があるとしたらこの出品は棚上げしない
事実21: あの一手間が第一平和市場でないならこの出品は複数用意しない
事実22: 「渋い」ものはある

仮説: この出品は第一平和市場でない
1. 事実3と事実2から、仮説が導かれる

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