そのウインドウ上部は上がるということはないけど慎み深い
fact1: もしも何らかのものは幼しないとしたら「それは詰め込まないし慎み深くない」ということは成り立たない fact2: 仮にとある物がぼらないならそれは青っぽくてそれは瓶でない fact3: もしもあの通信費が瓶でないならばそのウインドウ上部は好ましないかあるいは平べったいかまたはどちらもである fact4: どれもこれもは道路交通法違反でない fact5: あの通信費は瓶でない fact6: 仮に「あの通信費は詰め込まなくて慎み深くない」ということは間違いだとするとこの右ページ参照は詰め込まない fact7: 「青っぽいものは慎み深い」ということは確かである fact8: あの運動戦は青っぽい fact9: もし仮に「あの運動戦は青っぽい」ということは真実だとすればそのウインドウ上部は青っぽい fact10: もし仮にあの運動戦が青っぽい一方で瓶でないならばこの右ページ参照は上がる fact11: 好ましないかあるいは平べったいかあるいは両方ともなものは上がらない fact12: もしなんらかのものが道路交通法違反でないとすれば誘発し易くないしそれに幼しない
fact3 & fact5 -> int1: そのウインドウ上部は好ましないかまたはそれは平べったいかどちらもである; fact11 -> int2: もしそのウインドウ上部は好ましないかあるいは平べったいかまたはどちらもであるとするとそれは上がらない; int1 & int2 -> int3: そのウインドウ上部は上がるということはない; fact7 -> int4: そのウインドウ上部が青っぽいならそれは慎み深い; fact8 & fact9 -> int5: そのウインドウ上部は青っぽい; int4 & int5 -> int6: そのウインドウ上部は慎み深い; int3 & int6 -> hypothesis;
fact3 & fact5 -> int1: (¬{AA}{b} v {AB}{b}); fact11 -> int2: (¬{AA}{b} v {AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; fact7 -> int4: {D}{b} -> {C}{b}; fact8 & fact9 -> int5: {D}{b}; int4 & int5 -> int6: {C}{b}; int3 & int6 -> hypothesis;
この右ページ参照は詰め込まないけれど上がる
fact13 -> int7: もしもそのウインドウ上部は幼しないとしたら「詰め込まないしおまけに慎み深くない」ということは成り立たない; fact14 -> int8: もしもそのウインドウ上部は道路交通法違反でないならば誘発し易くないししかも幼しない; fact15 -> int9: 「そのウインドウ上部は道路交通法違反でない」ということは成り立つ; int8 & int9 -> int10: そのウインドウ上部が誘発し易いということはないしその上幼しない; int10 -> int11: そのウインドウ上部は幼しない; int7 & int11 -> int12: 「そのウインドウ上部は詰め込まないし慎み深いということはない」ということは間違いである; int12 -> int13: それは詰め込まないし慎み深くないという物はない; int13 -> int14: 「「あの通信費は詰め込まないしまた慎み深くない」ということは誤っている」ということは事実である; fact16 & int14 -> int15: この右ページ参照は詰め込まない; fact18 -> int16: もしあの運動戦がぼらないなら青っぽいけど瓶でない;
$facts$ = fact1: もしも何らかのものは幼しないとしたら「それは詰め込まないし慎み深くない」ということは成り立たない fact2: 仮にとある物がぼらないならそれは青っぽくてそれは瓶でない fact3: もしもあの通信費が瓶でないならばそのウインドウ上部は好ましないかあるいは平べったいかまたはどちらもである fact4: どれもこれもは道路交通法違反でない fact5: あの通信費は瓶でない fact6: 仮に「あの通信費は詰め込まなくて慎み深くない」ということは間違いだとするとこの右ページ参照は詰め込まない fact7: 「青っぽいものは慎み深い」ということは確かである fact8: あの運動戦は青っぽい fact9: もし仮に「あの運動戦は青っぽい」ということは真実だとすればそのウインドウ上部は青っぽい fact10: もし仮にあの運動戦が青っぽい一方で瓶でないならばこの右ページ参照は上がる fact11: 好ましないかあるいは平べったいかあるいは両方ともなものは上がらない fact12: もしなんらかのものが道路交通法違反でないとすれば誘発し易くないしそれに幼しない ; $hypothesis$ = そのウインドウ上部は上がるということはないけど慎み深い ; $proof$ = 
fact3 & fact5 -> int1: そのウインドウ上部は好ましないかまたはそれは平べったいかどちらもである; fact11 -> int2: もしそのウインドウ上部は好ましないかあるいは平べったいかまたはどちらもであるとするとそれは上がらない; int1 & int2 -> int3: そのウインドウ上部は上がるということはない; fact7 -> int4: そのウインドウ上部が青っぽいならそれは慎み深い; fact8 & fact9 -> int5: そのウインドウ上部は青っぽい; int4 & int5 -> int6: そのウインドウ上部は慎み深い; int3 & int6 -> hypothesis; __PROVED__
事実1: もしも何らかのものは幼しないとしたら「それは詰め込まないし慎み深くない」ということは成り立たない
事実2: 仮にとある物がぼらないならそれは青っぽくてそれは瓶でない
事実3: もしもあの通信費が瓶でないならばそのウインドウ上部は好ましないかあるいは平べったいかまたはどちらもである
事実4: どれもこれもは道路交通法違反でない
事実5: あの通信費は瓶でない
事実6: 仮に「あの通信費は詰め込まなくて慎み深くない」ということは間違いだとするとこの右ページ参照は詰め込まない
事実7: 「青っぽいものは慎み深い」ということは確かである
事実8: あの運動戦は青っぽい
事実9: もし仮に「あの運動戦は青っぽい」ということは真実だとすればそのウインドウ上部は青っぽい
事実10: もし仮にあの運動戦が青っぽい一方で瓶でないならばこの右ページ参照は上がる
事実11: 好ましないかあるいは平べったいかあるいは両方ともなものは上がらない
事実12: もしなんらかのものが道路交通法違反でないとすれば誘発し易くないしそれに幼しない

仮説: そのウインドウ上部は上がるということはないけど慎み深い
1. 事実3と事実5から、推論1: "そのウインドウ上部は好ましないかまたはそれは平べったいかどちらもである"が導かれる
2. 事実11から、推論2: "もしそのウインドウ上部は好ましないかあるいは平べったいかまたはどちらもであるとするとそれは上がらない"が導かれる
3. 推論1と推論2から、推論3: "そのウインドウ上部は上がるということはない"が導かれる
4. 事実7から、推論4: "そのウインドウ上部が青っぽいならそれは慎み深い"が導かれる
5. 事実8と事実9から、推論5: "そのウインドウ上部は青っぽい"が導かれる
6. 推論4と推論5から、推論6: "そのウインドウ上部は慎み深い"が導かれる
7. 推論3と推論6から、仮説が導かれる

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