その日本髪は履き為さる
fact1: もし「あのセクション変数は性差別根絶法だ」ということは成り立つとしたらその日光は小狡い fact2: 「この支配形態は起き易いということはないがそれは代謝阻害だ」ということは成り立たない fact3: 進歩はワードアートギャラリーである fact4: もし仮に「この諸流派は対応し易い」ということは成り立つなら「あの東洋史学はあくどくないし更に味気無くない」ということは事実と異なる fact5: もし「この支配形態はワードアートギャラリーである」ということは真実であるならばその日本髪は履き為さる fact6: 仮になんらかのものは代謝阻害でないならば「それはワードアートギャラリーでないししかもゲイ・レズビアンだ」ということは嘘である fact7: 仮にあのセクション変数が進歩でないとしたらあの東洋史学は小狡いかそれは対応し易い fact8: この諸流派は対応し易い fact9: ワードアートギャラリーは進歩でないかあるいは履き為さらないかどちらもである fact10: 仮に「この諸流派は履き為さるかまたは対応し易い」ということは間違っているならその日本髪は履き為さらない fact11: もし仮に「この諸流派は対応し易い」ということは成り立つなら「あの東洋史学はあくどくないけど味気無い」ということは事実と異なる fact12: もし「その日光は小狡い」ということは確かだとするとこの支配形態は進歩だ fact13: もし仮に「その日光はワードアートギャラリーでない一方でゲイ・レズビアンである」ということは誤っていればワードアートギャラリーだ fact14: 「「あくどくないしおまけに味気無くない」ということは誤っている」ものがあるとしたらあのセクション変数は性差別根絶法である
fact4 & fact8 -> int1: 「あの東洋史学はあくどくなくてそれは味気無いということはない」ということは成り立たない; int1 -> int2: 「「あくどくないしまた味気無くない」ということは誤りである」物はある; int2 & fact14 -> int3: あのセクション変数は性差別根絶法である; int3 & fact1 -> int4: その日光は小狡い; int4 & fact12 -> int5: この支配形態は進歩である; fact3 -> int6: この支配形態は進歩であるとすればそれはワードアートギャラリーである; int5 & int6 -> int7: 「この支配形態はワードアートギャラリーである」ということは正しい; int7 & fact5 -> hypothesis;
その日本髪は履き為さらない
$facts$ = fact1: もし「あのセクション変数は性差別根絶法だ」ということは成り立つとしたらその日光は小狡い fact2: 「この支配形態は起き易いということはないがそれは代謝阻害だ」ということは成り立たない fact3: 進歩はワードアートギャラリーである fact4: もし仮に「この諸流派は対応し易い」ということは成り立つなら「あの東洋史学はあくどくないし更に味気無くない」ということは事実と異なる fact5: もし「この支配形態はワードアートギャラリーである」ということは真実であるならばその日本髪は履き為さる fact6: 仮になんらかのものは代謝阻害でないならば「それはワードアートギャラリーでないししかもゲイ・レズビアンだ」ということは嘘である fact7: 仮にあのセクション変数が進歩でないとしたらあの東洋史学は小狡いかそれは対応し易い fact8: この諸流派は対応し易い fact9: ワードアートギャラリーは進歩でないかあるいは履き為さらないかどちらもである fact10: 仮に「この諸流派は履き為さるかまたは対応し易い」ということは間違っているならその日本髪は履き為さらない fact11: もし仮に「この諸流派は対応し易い」ということは成り立つなら「あの東洋史学はあくどくないけど味気無い」ということは事実と異なる fact12: もし「その日光は小狡い」ということは確かだとするとこの支配形態は進歩だ fact13: もし仮に「その日光はワードアートギャラリーでない一方でゲイ・レズビアンである」ということは誤っていればワードアートギャラリーだ fact14: 「「あくどくないしおまけに味気無くない」ということは誤っている」ものがあるとしたらあのセクション変数は性差別根絶法である ; $hypothesis$ = その日本髪は履き為さる ; $proof$ = 
fact4 & fact8 -> int1: 「あの東洋史学はあくどくなくてそれは味気無いということはない」ということは成り立たない; int1 -> int2: 「「あくどくないしまた味気無くない」ということは誤りである」物はある; int2 & fact14 -> int3: あのセクション変数は性差別根絶法である; int3 & fact1 -> int4: その日光は小狡い; int4 & fact12 -> int5: この支配形態は進歩である; fact3 -> int6: この支配形態は進歩であるとすればそれはワードアートギャラリーである; int5 & int6 -> int7: 「この支配形態はワードアートギャラリーである」ということは正しい; int7 & fact5 -> hypothesis; __PROVED__
事実1: もし「あのセクション変数は性差別根絶法だ」ということは成り立つとしたらその日光は小狡い
事実2: 「この支配形態は起き易いということはないがそれは代謝阻害だ」ということは成り立たない
事実3: 進歩はワードアートギャラリーである
事実4: もし仮に「この諸流派は対応し易い」ということは成り立つなら「あの東洋史学はあくどくないし更に味気無くない」ということは事実と異なる
事実5: もし「この支配形態はワードアートギャラリーである」ということは真実であるならばその日本髪は履き為さる
事実6: 仮になんらかのものは代謝阻害でないならば「それはワードアートギャラリーでないししかもゲイ・レズビアンだ」ということは嘘である
事実7: 仮にあのセクション変数が進歩でないとしたらあの東洋史学は小狡いかそれは対応し易い
事実8: この諸流派は対応し易い
事実9: ワードアートギャラリーは進歩でないかあるいは履き為さらないかどちらもである
事実10: 仮に「この諸流派は履き為さるかまたは対応し易い」ということは間違っているならその日本髪は履き為さらない
事実11: もし仮に「この諸流派は対応し易い」ということは成り立つなら「あの東洋史学はあくどくないけど味気無い」ということは事実と異なる
事実12: もし「その日光は小狡い」ということは確かだとするとこの支配形態は進歩だ
事実13: もし仮に「その日光はワードアートギャラリーでない一方でゲイ・レズビアンである」ということは誤っていればワードアートギャラリーだ
事実14: 「「あくどくないしおまけに味気無くない」ということは誤っている」ものがあるとしたらあのセクション変数は性差別根絶法である

仮説: その日本髪は履き為さる
1. 事実4と事実8から、推論1: "「あの東洋史学はあくどくなくてそれは味気無いということはない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「あくどくないしまた味気無くない」ということは誤りである」物はある"が導かれる
3. 推論2と事実14から、推論3: "あのセクション変数は性差別根絶法である"が導かれる
4. 推論3と事実1から、推論4: "その日光は小狡い"が導かれる
5. 推論4と事実12から、推論5: "この支配形態は進歩である"が導かれる
6. 事実3から、推論6: "この支配形態は進歩であるとすればそれはワードアートギャラリーである"が導かれる
7. 推論5と推論6から、推論7: "「この支配形態はワードアートギャラリーである」ということは正しい"が導かれる
8. 推論7と事実5から、仮説が導かれる

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