このギャルは人間模様である
fact1: とある物は付き易いとしたら「「人間模様でなくてマイクロアレー解析だ」ということは本当だ」ということは事実と異なる fact2: 「「このギャルはマイクロアレー解析である一方で悶うない」ということは本当である」ということは誤っている fact3: 「「治療すらなくて付き易くない」ということは真実であるということはない」ものがあるとしたらその型枠は付き易い fact4: 「このギャルは付き易くない」ということは確かだとすると「マイクロアレー解析でないし加えて悶う」ということは成り立たない fact5: 「細則であるし書き残す」ものはある fact6: 「書き残すということはない」物があるとするとこのギャルは付き易くない fact7: あの二十五ページ参照が乗り易くないならばそれは悶うないけど押し分ける fact8: その文書ファイルは欲しがらなくて更に比較し難くない fact9: あの二十五ページ参照は乗り易くない fact10: 仮に「ある物は実行し易くないし狡いということはない」ということは間違っているならそれは単離である fact11: 仮に「悶うない」ものはあるとしたら「このギャルは治療すらないしそれは付き易くない」ということは誤りである fact12: もし仮に「なんらかのものはマイクロアレー解析でないし加えてそれは悶うない」ということは誤っているならそれは人間模様である fact13: このギャルは付き易いということはないなら「マイクロアレー解析だがしかし悶うということはない」ということは成り立つということはない fact14: 「「細則だしその上書き残す」ということは偽な」ものがあるとするとこのギャルは付き易いということはない fact15: 仮に何らかの物は付き易くないとしたら「マイクロアレー解析でないし悶う」ということは嘘だ fact16: 「このギャルはマイクロアレー解析でないけれど悶う」ということは事実でない fact17: 仮にあの患者等が押し分けるとしたらこの非常階段は悶うけれど治療すらない fact18: もし仮にあるものは付き易いということはないとすれば「マイクロアレー解析でなくて悶うない」ということは事実と異なる fact19: 「「「細則でその上書き残す」ということは間違っている」物はある」ということは正しい fact20: もしあの患者等は収入額でないならば押し分けるし乗り易い fact21: 何らかの物は付き易いということはないとすると「それはマイクロアレー解析であるしそれは悶うない」ということは間違いだ fact22: もしこの非常階段は悶うとすると「あの二十五ページ参照はマイクロアレー解析だということはないかそれは付き易くないかもしくは両方である」ということは成り立たない
fact19 & fact14 -> int1: このギャルは付き易くない; fact18 -> int2: もしもこのギャルは付き易くないとすると「マイクロアレー解析でなくて更に悶うない」ということは間違いだ; int1 & int2 -> int3: 「このギャルはマイクロアレー解析でなくておまけに悶うない」ということは誤りである; fact12 -> int4: もし仮に「このギャルはマイクロアレー解析でないし悶うない」ということは誤っているとすれば人間模様である; int3 & int4 -> hypothesis;
このギャルは人間模様でない
fact25 -> int5: 「「欲しがるということはなくて更に比較し難くない」ということは本当な」物はある;
$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$ = 
fact19 & fact14 -> int1: このギャルは付き易くない; fact18 -> int2: もしもこのギャルは付き易くないとすると「マイクロアレー解析でなくて更に悶うない」ということは間違いだ; int1 & int2 -> int3: 「このギャルはマイクロアレー解析でなくておまけに悶うない」ということは誤りである; fact12 -> int4: もし仮に「このギャルはマイクロアレー解析でないし悶うない」ということは誤っているとすれば人間模様である; int3 & int4 -> 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. 事実19と事実14から、推論1: "このギャルは付き易くない"が導かれる
2. 事実18から、推論2: "もしもこのギャルは付き易くないとすると「マイクロアレー解析でなくて更に悶うない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "「このギャルはマイクロアレー解析でなくておまけに悶うない」ということは誤りである"が導かれる
4. 事実12から、推論4: "もし仮に「このギャルはマイクロアレー解析でないし悶うない」ということは誤っているとすれば人間模様である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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