この車両は聞き付けるということはないが退色し易い
fact1: もしもなにがしかの物が平面形でないとすれば空々しくてそれは退色し易い fact2: この第二取り締まり役が古来たるということはないならばこの車両は聞き付けないがそれは退色し易い fact3: もし仮にとある物は古来たるということはないならば「聞き付けない一方で退色し易い」ということは偽だ fact4: この車両が途切れないかまたはそれが心強くないかもしくは両方ともであるとすればその説明会は心強くない fact5: もしこの礎石が寝そべらないかあるいは固しないかもしくは両方ともであるとすればこの車両は寝そべるということはない fact6: もししがないということはないものは灌水しないとしたら「古来たるない」ということは確かである fact7: もしこの礎石が落ち難くて心強いとしたらこの車両は心強くない fact8: もしもとあるものが寝そべらないとしたら途切れるということはないかあるいは心強くないかあるいはどちらもである fact9: この第二取り締まり役は空々しい fact10: もし仮にこの車両は心強いということはないとすると「それは空々しいし加えて平面形である」ということは成り立たない fact11: 全ては寝そべらないかあるいはそれは固しないかあるいは両方である fact12: 「「とあるものは落ち難くないが平面形だ」ということは正しい」ということは成り立たないとすればそれは平面形でない fact13: もしこの第二取り締まり役が空々しいとするとそれはしがなくないしおまけに灌水しない fact14: 仮になんらかのものは心強くないなら「「それは落ち難くなくて平面形だ」ということは正しい」ということは事実と異なる
fact6 -> int1: もし仮にこの第二取り締まり役がしがなくなくてそれに灌水しないとすると古来たるない; fact13 & fact9 -> int2: この第二取り締まり役はしがなくないしその上それは灌水しない; int1 & int2 -> int3: この第二取り締まり役は古来たるない; int3 & fact2 -> hypothesis;
「この車両は聞き付けないが退色し易い」ということは間違っている
fact15 -> int4: もしもこの車両は古来たるないとすれば「聞き付けない一方で退色し易い」ということは嘘である;
$facts$ = fact1: もしもなにがしかの物が平面形でないとすれば空々しくてそれは退色し易い fact2: この第二取り締まり役が古来たるということはないならばこの車両は聞き付けないがそれは退色し易い fact3: もし仮にとある物は古来たるということはないならば「聞き付けない一方で退色し易い」ということは偽だ fact4: この車両が途切れないかまたはそれが心強くないかもしくは両方ともであるとすればその説明会は心強くない fact5: もしこの礎石が寝そべらないかあるいは固しないかもしくは両方ともであるとすればこの車両は寝そべるということはない fact6: もししがないということはないものは灌水しないとしたら「古来たるない」ということは確かである fact7: もしこの礎石が落ち難くて心強いとしたらこの車両は心強くない fact8: もしもとあるものが寝そべらないとしたら途切れるということはないかあるいは心強くないかあるいはどちらもである fact9: この第二取り締まり役は空々しい fact10: もし仮にこの車両は心強いということはないとすると「それは空々しいし加えて平面形である」ということは成り立たない fact11: 全ては寝そべらないかあるいはそれは固しないかあるいは両方である fact12: 「「とあるものは落ち難くないが平面形だ」ということは正しい」ということは成り立たないとすればそれは平面形でない fact13: もしこの第二取り締まり役が空々しいとするとそれはしがなくないしおまけに灌水しない fact14: 仮になんらかのものは心強くないなら「「それは落ち難くなくて平面形だ」ということは正しい」ということは事実と異なる ; $hypothesis$ = この車両は聞き付けるということはないが退色し易い ; $proof$ = 
fact6 -> int1: もし仮にこの第二取り締まり役がしがなくなくてそれに灌水しないとすると古来たるない; fact13 & fact9 -> int2: この第二取り締まり役はしがなくないしその上それは灌水しない; int1 & int2 -> int3: この第二取り締まり役は古来たるない; int3 & fact2 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物が平面形でないとすれば空々しくてそれは退色し易い
事実2: この第二取り締まり役が古来たるということはないならばこの車両は聞き付けないがそれは退色し易い
事実3: もし仮にとある物は古来たるということはないならば「聞き付けない一方で退色し易い」ということは偽だ
事実4: この車両が途切れないかまたはそれが心強くないかもしくは両方ともであるとすればその説明会は心強くない
事実5: もしこの礎石が寝そべらないかあるいは固しないかもしくは両方ともであるとすればこの車両は寝そべるということはない
事実6: もししがないということはないものは灌水しないとしたら「古来たるない」ということは確かである
事実7: もしこの礎石が落ち難くて心強いとしたらこの車両は心強くない
事実8: もしもとあるものが寝そべらないとしたら途切れるということはないかあるいは心強くないかあるいはどちらもである
事実9: この第二取り締まり役は空々しい
事実10: もし仮にこの車両は心強いということはないとすると「それは空々しいし加えて平面形である」ということは成り立たない
事実11: 全ては寝そべらないかあるいはそれは固しないかあるいは両方である
事実12: 「「とあるものは落ち難くないが平面形だ」ということは正しい」ということは成り立たないとすればそれは平面形でない
事実13: もしこの第二取り締まり役が空々しいとするとそれはしがなくないしおまけに灌水しない
事実14: 仮になんらかのものは心強くないなら「「それは落ち難くなくて平面形だ」ということは正しい」ということは事実と異なる

仮説: この車両は聞き付けるということはないが退色し易い
1. 事実6から、推論1: "もし仮にこの第二取り締まり役がしがなくなくてそれに灌水しないとすると古来たるない"が導かれる
2. 事実13と事実9から、推論2: "この第二取り締まり役はしがなくないしその上それは灌水しない"が導かれる
3. 推論1と推論2から、推論3: "この第二取り締まり役は古来たるない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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