「この復員者はすげないけど徒らっぽくない」ということは確かでない
fact1: 仮にこの復員者は徒らっぽいとすれば「「あの環境衛生検査は幅広い一方ですげなくない」ということは間違いである」ということは成り立つ fact2: もし仮に「あのフェイシングはＫ市長である」ということは確かであるならば「それは読めるがしかしブラバスらしくない」ということは間違っている fact3: もしもこの復員者は幅広いならば「「あの環境衛生検査はすげないけれど徒らっぽくない」ということは確かである」ということは成り立たない fact4: あのテレビ界はすげない fact5: あの環境衛生検査がブラバスらしいとしたらこの復員者はブラバスらしい fact6: もし「とあるものは生活しないがブラバスらしい」ということは真実だとすると幅広くない fact7: 仮にこの復員者は徒らっぽいなら「「あの環境衛生検査はすげないけど幅広いということはない」ということは成り立たない」ということは事実である fact8: 「この復員者はすげなくて徒らっぽい」ということは誤っている fact9: もし仮にあの環境衛生検査はすげないならば「この復員者は徒らっぽいし幅広い」ということは間違いだ fact10: 自益信託は生活しないけれど漏れ聞える fact11: あの環境衛生検査はすげないとすれば「この復員者は徒らっぽいけれど幅広くない」ということは誤りだ fact12: もし仮にこの復員者は徒らっぽいなら「あの環境衛生検査は幅広くてそれにすげない」ということは嘘だ fact13: あのフェイシングはＫ市長である fact14: あの環境衛生検査は幅広い fact15: 「あの環境衛生検査は幅広いがしかしそれは徒らっぽくない」ということは成り立たない fact16: もし仮に「あのフェイシングは読める一方でそれはブラバスらしくない」ということは偽だとするとあの環境衛生検査はブラバスらしい fact17: もしもこの復員者は徒らっぽいとしたら「あの環境衛生検査はすげないし幅広い」ということは誤りだ fact18: あの環境衛生検査は徒らっぽいならば「この復員者はすげないけれどそれは幅広くない」ということは誤っている fact19: もし仮にこの復員者は幅広いならば「あの環境衛生検査は徒らっぽいけどそれはすげなくない」ということは成り立たない fact20: 「この復員者は幅広いがそれはすげなくない」ということは間違いだ fact21: もし仮に「あの環境衛生検査は幅広い」ということは成り立てば「この復員者はすげない一方で徒らっぽいということはない」ということは嘘である
fact21 & fact14 -> hypothesis;
fact21 & fact14 -> hypothesis;
この復員者はすげないけどそれは徒らっぽくない
fact23 -> int1: もしこの復員者が生活しない一方でそれがブラバスらしいならば幅広くない; fact22 & fact24 -> int2: 「あのフェイシングは読めるけどブラバスらしくない」ということは確かだということはない; fact25 & int2 -> int3: あの環境衛生検査はブラバスらしい; int3 & fact27 -> int4: 「この復員者はブラバスらしくない」ということは嘘だ; fact26 -> int5: 「もしあの点検事項が自益信託であるならばあの点検事項は生活するということはないけれどそれは漏れ聞える」ということは真実だ;
$facts$ = fact1: 仮にこの復員者は徒らっぽいとすれば「「あの環境衛生検査は幅広い一方ですげなくない」ということは間違いである」ということは成り立つ fact2: もし仮に「あのフェイシングはＫ市長である」ということは確かであるならば「それは読めるがしかしブラバスらしくない」ということは間違っている fact3: もしもこの復員者は幅広いならば「「あの環境衛生検査はすげないけれど徒らっぽくない」ということは確かである」ということは成り立たない fact4: あのテレビ界はすげない fact5: あの環境衛生検査がブラバスらしいとしたらこの復員者はブラバスらしい fact6: もし「とあるものは生活しないがブラバスらしい」ということは真実だとすると幅広くない fact7: 仮にこの復員者は徒らっぽいなら「「あの環境衛生検査はすげないけど幅広いということはない」ということは成り立たない」ということは事実である fact8: 「この復員者はすげなくて徒らっぽい」ということは誤っている fact9: もし仮にあの環境衛生検査はすげないならば「この復員者は徒らっぽいし幅広い」ということは間違いだ fact10: 自益信託は生活しないけれど漏れ聞える fact11: あの環境衛生検査はすげないとすれば「この復員者は徒らっぽいけれど幅広くない」ということは誤りだ fact12: もし仮にこの復員者は徒らっぽいなら「あの環境衛生検査は幅広くてそれにすげない」ということは嘘だ fact13: あのフェイシングはＫ市長である fact14: あの環境衛生検査は幅広い fact15: 「あの環境衛生検査は幅広いがしかしそれは徒らっぽくない」ということは成り立たない fact16: もし仮に「あのフェイシングは読める一方でそれはブラバスらしくない」ということは偽だとするとあの環境衛生検査はブラバスらしい fact17: もしもこの復員者は徒らっぽいとしたら「あの環境衛生検査はすげないし幅広い」ということは誤りだ fact18: あの環境衛生検査は徒らっぽいならば「この復員者はすげないけれどそれは幅広くない」ということは誤っている fact19: もし仮にこの復員者は幅広いならば「あの環境衛生検査は徒らっぽいけどそれはすげなくない」ということは成り立たない fact20: 「この復員者は幅広いがそれはすげなくない」ということは間違いだ fact21: もし仮に「あの環境衛生検査は幅広い」ということは成り立てば「この復員者はすげない一方で徒らっぽいということはない」ということは嘘である ; $hypothesis$ = 「この復員者はすげないけど徒らっぽくない」ということは確かでない ; $proof$ = 
fact21 & fact14 -> hypothesis; __PROVED__
事実1: 仮にこの復員者は徒らっぽいとすれば「「あの環境衛生検査は幅広い一方ですげなくない」ということは間違いである」ということは成り立つ
事実2: もし仮に「あのフェイシングはＫ市長である」ということは確かであるならば「それは読めるがしかしブラバスらしくない」ということは間違っている
事実3: もしもこの復員者は幅広いならば「「あの環境衛生検査はすげないけれど徒らっぽくない」ということは確かである」ということは成り立たない
事実4: あのテレビ界はすげない
事実5: あの環境衛生検査がブラバスらしいとしたらこの復員者はブラバスらしい
事実6: もし「とあるものは生活しないがブラバスらしい」ということは真実だとすると幅広くない
事実7: 仮にこの復員者は徒らっぽいなら「「あの環境衛生検査はすげないけど幅広いということはない」ということは成り立たない」ということは事実である
事実8: 「この復員者はすげなくて徒らっぽい」ということは誤っている
事実9: もし仮にあの環境衛生検査はすげないならば「この復員者は徒らっぽいし幅広い」ということは間違いだ
事実10: 自益信託は生活しないけれど漏れ聞える
事実11: あの環境衛生検査はすげないとすれば「この復員者は徒らっぽいけれど幅広くない」ということは誤りだ
事実12: もし仮にこの復員者は徒らっぽいなら「あの環境衛生検査は幅広くてそれにすげない」ということは嘘だ
事実13: あのフェイシングはＫ市長である
事実14: あの環境衛生検査は幅広い
事実15: 「あの環境衛生検査は幅広いがしかしそれは徒らっぽくない」ということは成り立たない
事実16: もし仮に「あのフェイシングは読める一方でそれはブラバスらしくない」ということは偽だとするとあの環境衛生検査はブラバスらしい
事実17: もしもこの復員者は徒らっぽいとしたら「あの環境衛生検査はすげないし幅広い」ということは誤りだ
事実18: あの環境衛生検査は徒らっぽいならば「この復員者はすげないけれどそれは幅広くない」ということは誤っている
事実19: もし仮にこの復員者は幅広いならば「あの環境衛生検査は徒らっぽいけどそれはすげなくない」ということは成り立たない
事実20: 「この復員者は幅広いがそれはすげなくない」ということは間違いだ
事実21: もし仮に「あの環境衛生検査は幅広い」ということは成り立てば「この復員者はすげない一方で徒らっぽいということはない」ということは嘘である

仮説: 「この復員者はすげないけど徒らっぽくない」ということは確かでない
1. 事実21と事実14から、仮説が導かれる

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