そのヘパリン加生理食塩水が通じ難くないしさらにそれは連れ立つということはない
fact1: 「あの修は指導方法でないけれど輝かしい」ということは誤りである fact2: もし仮にそのヘパリン加生理食塩水が切り回さないならばそれは平行垂木でない fact3: もし「「指導方法でなくて加えて輝かしい」ということは偽である」物があるとしたらそのヘパリン加生理食塩水は啓蒙する fact4: もしもそのヘパリン加生理食塩水は啓蒙するし連れ立つとすればそれは切り回さない fact5: 「そのヘパリン加生理食塩水は通じ難くない」ということは成り立つ fact6: 「「ＰＧＴで初当選する」ということは成り立たない」ものはある fact7: そのヘパリン加生理食塩水は平行垂木である fact8: 仮にこの送電鉄塔は啓蒙するなら「そのヘパリン加生理食塩水は通じ難くないし連れ立たない」ということは間違っている fact9: もしもこの総資本が平行垂木だとすると切り回さないしおまけに連れ立たない
fact1 -> int1: 「「指導方法でなくて輝かしい」ということは成り立たない」ものはある; int1 & fact3 -> int2: そのヘパリン加生理食塩水は啓蒙する; void -> assump1: 以下のように仮定する。そのヘパリン加生理食塩水は連れ立つ; int2 & assump1 -> int3: そのヘパリン加生理食塩水は啓蒙するし連れ立つ; int3 & fact4 -> int4: そのヘパリン加生理食塩水は切り回さない; int4 & fact2 -> int5: そのヘパリン加生理食塩水は平行垂木でない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのヘパリン加生理食塩水は連れ立たない; int7 & fact5 -> hypothesis;
「そのヘパリン加生理食塩水は通じ難くないしまたそれは連れ立たない」ということは間違いである
$facts$ = fact1: 「あの修は指導方法でないけれど輝かしい」ということは誤りである fact2: もし仮にそのヘパリン加生理食塩水が切り回さないならばそれは平行垂木でない fact3: もし「「指導方法でなくて加えて輝かしい」ということは偽である」物があるとしたらそのヘパリン加生理食塩水は啓蒙する fact4: もしもそのヘパリン加生理食塩水は啓蒙するし連れ立つとすればそれは切り回さない fact5: 「そのヘパリン加生理食塩水は通じ難くない」ということは成り立つ fact6: 「「ＰＧＴで初当選する」ということは成り立たない」ものはある fact7: そのヘパリン加生理食塩水は平行垂木である fact8: 仮にこの送電鉄塔は啓蒙するなら「そのヘパリン加生理食塩水は通じ難くないし連れ立たない」ということは間違っている fact9: もしもこの総資本が平行垂木だとすると切り回さないしおまけに連れ立たない ; $hypothesis$ = そのヘパリン加生理食塩水が通じ難くないしさらにそれは連れ立つということはない ; $proof$ = 
fact1 -> int1: 「「指導方法でなくて輝かしい」ということは成り立たない」ものはある; int1 & fact3 -> int2: そのヘパリン加生理食塩水は啓蒙する; void -> assump1: 以下のように仮定する。そのヘパリン加生理食塩水は連れ立つ; int2 & assump1 -> int3: そのヘパリン加生理食塩水は啓蒙するし連れ立つ; int3 & fact4 -> int4: そのヘパリン加生理食塩水は切り回さない; int4 & fact2 -> int5: そのヘパリン加生理食塩水は平行垂木でない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのヘパリン加生理食塩水は連れ立たない; int7 & fact5 -> hypothesis; __PROVED__
事実1: 「あの修は指導方法でないけれど輝かしい」ということは誤りである
事実2: もし仮にそのヘパリン加生理食塩水が切り回さないならばそれは平行垂木でない
事実3: もし「「指導方法でなくて加えて輝かしい」ということは偽である」物があるとしたらそのヘパリン加生理食塩水は啓蒙する
事実4: もしもそのヘパリン加生理食塩水は啓蒙するし連れ立つとすればそれは切り回さない
事実5: 「そのヘパリン加生理食塩水は通じ難くない」ということは成り立つ
事実6: 「「ＰＧＴで初当選する」ということは成り立たない」ものはある
事実7: そのヘパリン加生理食塩水は平行垂木である
事実8: 仮にこの送電鉄塔は啓蒙するなら「そのヘパリン加生理食塩水は通じ難くないし連れ立たない」ということは間違っている
事実9: もしもこの総資本が平行垂木だとすると切り回さないしおまけに連れ立たない

仮説: そのヘパリン加生理食塩水が通じ難くないしさらにそれは連れ立つということはない
1. 事実1から、推論1: "「「指導方法でなくて輝かしい」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実3から、推論2: "そのヘパリン加生理食塩水は啓蒙する"が導かれる
3. 仮定1: 以下のように仮定する。そのヘパリン加生理食塩水は連れ立つ
4. 推論2と仮定1から、推論3: "そのヘパリン加生理食塩水は啓蒙するし連れ立つ"が導かれる
5. 推論3と事実4から、推論4: "そのヘパリン加生理食塩水は切り回さない"が導かれる
6. 推論4と事実2から、推論5: "そのヘパリン加生理食塩水は平行垂木でない"が導かれる
7. 推論5と事実7から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのヘパリン加生理食塩水は連れ立たない"が導かれる
9. 推論7と事実5から、仮説が導かれる

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