「その積乱雲はフェイス周りでないがそれは好意である」ということは誤りだ
fact1: そのハンディツールはフェイス周りであるということはないけど屈み込む fact2: 仮に「あの弁理士は料理するしまたデイサイトである」ということは成り立たないならばその積乱雲はデイサイトでない fact3: もし「搭乗口である一方で屈み込まない」ものがあればその積乱雲はフェイス周りでない fact4: もしその積乱雲は好意でないとすれば「「そのハンディツールは好意でないがしかしそれはフェイス周りである」ということは確かだ」ということは成り立つということはない fact5: 「その積乱雲はフェイス周りであるしその上好意だ」ということは成り立たない fact6: その積乱雲は競売しないがしかし粗い fact7: その同一銘柄はデイサイトだということはない fact8: 仮にその同一銘柄がデイサイトでないとすると搭乗口であるし屈み込まない fact9: その積乱雲は屈み込むということはない fact10: もし何かは屈み込まないならば「それはフェイス周りであるしおまけに好意である」ということは嘘である fact11: もしそのハンディツールは一市であるとすると「好意でないしさらに重苦しいということはない」ということは正しくない fact12: もしもその積乱雲はデイサイトでないなら重苦しくて歯痒い fact13: もしもそのハンディツールはフェイス周りだということはないとすると「その積乱雲はフェイス周りでないけど好意である」ということは成り立たない fact14: そのハンディツールは屈み込む fact15: 「その同一銘柄は御入らない」ということは確かだ fact16: その同一銘柄が御入らないならば搭乗口であるかもしくは一市でないかあるいは両方である fact17: そのハンディツールはフェイス周りでないとすると「その積乱雲はフェイス周りであるし好意である」ということは誤りだ fact18: 「あの弁理士は料理するしかつデイサイトだ」ということは嘘である fact19: もしもその同一銘柄が搭乗口であるかもしくは一市であるということはないか両方ともであるならばその積乱雲は搭乗口だ
fact1 -> int1: そのハンディツールはフェイス周りでない; int1 & fact13 -> hypothesis;
この海洋深層水はフェイス周りでない
fact22 -> int2: もし仮にそのハンディツールは屈み込まないとすれば「フェイス周りであるしその上それは好意だ」ということは間違っている; fact25 & fact26 -> int3: その積乱雲はデイサイトでない; fact24 & int3 -> int4: その積乱雲は重苦しいし歯痒い; int4 -> int5: その積乱雲は重苦しい; fact21 & fact20 -> int6: その同一銘柄は搭乗口であるかあるいは一市でないかもしくは両方だ; fact23 & int6 -> int7: その積乱雲は搭乗口である; int5 & int7 -> int8: その積乱雲は重苦しいしまた搭乗口だ; int8 -> int9: あるものは重苦しいしさらに搭乗口だ;
$facts$ = fact1: そのハンディツールはフェイス周りであるということはないけど屈み込む fact2: 仮に「あの弁理士は料理するしまたデイサイトである」ということは成り立たないならばその積乱雲はデイサイトでない fact3: もし「搭乗口である一方で屈み込まない」ものがあればその積乱雲はフェイス周りでない fact4: もしその積乱雲は好意でないとすれば「「そのハンディツールは好意でないがしかしそれはフェイス周りである」ということは確かだ」ということは成り立つということはない fact5: 「その積乱雲はフェイス周りであるしその上好意だ」ということは成り立たない fact6: その積乱雲は競売しないがしかし粗い fact7: その同一銘柄はデイサイトだということはない fact8: 仮にその同一銘柄がデイサイトでないとすると搭乗口であるし屈み込まない fact9: その積乱雲は屈み込むということはない fact10: もし何かは屈み込まないならば「それはフェイス周りであるしおまけに好意である」ということは嘘である fact11: もしそのハンディツールは一市であるとすると「好意でないしさらに重苦しいということはない」ということは正しくない fact12: もしもその積乱雲はデイサイトでないなら重苦しくて歯痒い fact13: もしもそのハンディツールはフェイス周りだということはないとすると「その積乱雲はフェイス周りでないけど好意である」ということは成り立たない fact14: そのハンディツールは屈み込む fact15: 「その同一銘柄は御入らない」ということは確かだ fact16: その同一銘柄が御入らないならば搭乗口であるかもしくは一市でないかあるいは両方である fact17: そのハンディツールはフェイス周りでないとすると「その積乱雲はフェイス周りであるし好意である」ということは誤りだ fact18: 「あの弁理士は料理するしかつデイサイトだ」ということは嘘である fact19: もしもその同一銘柄が搭乗口であるかもしくは一市であるということはないか両方ともであるならばその積乱雲は搭乗口だ ; $hypothesis$ = 「その積乱雲はフェイス周りでないがそれは好意である」ということは誤りだ ; $proof$ = 
fact1 -> int1: そのハンディツールはフェイス周りでない; int1 & fact13 -> hypothesis; __PROVED__
事実1: そのハンディツールはフェイス周りであるということはないけど屈み込む
事実2: 仮に「あの弁理士は料理するしまたデイサイトである」ということは成り立たないならばその積乱雲はデイサイトでない
事実3: もし「搭乗口である一方で屈み込まない」ものがあればその積乱雲はフェイス周りでない
事実4: もしその積乱雲は好意でないとすれば「「そのハンディツールは好意でないがしかしそれはフェイス周りである」ということは確かだ」ということは成り立つということはない
事実5: 「その積乱雲はフェイス周りであるしその上好意だ」ということは成り立たない
事実6: その積乱雲は競売しないがしかし粗い
事実7: その同一銘柄はデイサイトだということはない
事実8: 仮にその同一銘柄がデイサイトでないとすると搭乗口であるし屈み込まない
事実9: その積乱雲は屈み込むということはない
事実10: もし何かは屈み込まないならば「それはフェイス周りであるしおまけに好意である」ということは嘘である
事実11: もしそのハンディツールは一市であるとすると「好意でないしさらに重苦しいということはない」ということは正しくない
事実12: もしもその積乱雲はデイサイトでないなら重苦しくて歯痒い
事実13: もしもそのハンディツールはフェイス周りだということはないとすると「その積乱雲はフェイス周りでないけど好意である」ということは成り立たない
事実14: そのハンディツールは屈み込む
事実15: 「その同一銘柄は御入らない」ということは確かだ
事実16: その同一銘柄が御入らないならば搭乗口であるかもしくは一市でないかあるいは両方である
事実17: そのハンディツールはフェイス周りでないとすると「その積乱雲はフェイス周りであるし好意である」ということは誤りだ
事実18: 「あの弁理士は料理するしかつデイサイトだ」ということは嘘である
事実19: もしもその同一銘柄が搭乗口であるかもしくは一市であるということはないか両方ともであるならばその積乱雲は搭乗口だ

仮説: 「その積乱雲はフェイス周りでないがそれは好意である」ということは誤りだ
1. 事実1から、推論1: "そのハンディツールはフェイス周りでない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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