「この短大は来たししかもそれは田舎っぽい」ということは成り立たない
fact1: 「この茂山家は来たないし生み難くない」ということは本当であるということはない fact2: 従えるしそれにそれは巻き取るという物はない fact3: もしなにがしかのものは来たなら「この短大は考証する一方で来たということはない」ということは間違いだ fact4: もしもあるものは述べ伝え為さるとしたら「それは凄いがアーティストでない」ということは嘘である fact5: 仮に「この茂山家は来たないしおまけにそれは生み難くない」ということは成り立つということはないなら来た fact6: 仮にあのダイムラー・ベンツが引き付けるとするとそのリモートホストは引き付ける fact7: もし仮にこの月曜はアーティストであるということはないとすれば「それは御構い無いしおまけにそれは田舎っぽい」ということは偽である fact8: そのリモートホストが引き付けるとしたらこのオートローテーションは述べ伝え為さる fact9: 「この短大は少ないし田舎っぽい」ということは成り立たない fact10: 「この短大は田舎っぽくてさらに受け易い」ということは嘘である fact11: もし「何かは考証するがしかし来たない」ということは成り立たないならば来た fact12: それは来たしまた田舎っぽいというものはない fact13: 「それはっ早くて薨ずる」ということは事実だという物はない
fact12 -> hypothesis;
fact12 -> hypothesis;
この短大は来たしそれに田舎っぽい
fact15 -> int1: 「この短大は考証するけれど来たない」ということは間違いだとすれば来た; fact20 & fact16 -> int2: この茂山家は来た; int2 -> int3: 「「来た」物はある」ということは成り立つ; int3 & fact14 -> int4: 「この短大は考証するがそれは来たない」ということは成り立たない; int1 & int4 -> int5: この短大は来た; fact19 -> int6: 仮にこのオートローテーションは述べ伝え為されば「それは凄い一方でアーティストでない」ということは成り立たない;
$facts$ = fact1: 「この茂山家は来たないし生み難くない」ということは本当であるということはない fact2: 従えるしそれにそれは巻き取るという物はない fact3: もしなにがしかのものは来たなら「この短大は考証する一方で来たということはない」ということは間違いだ fact4: もしもあるものは述べ伝え為さるとしたら「それは凄いがアーティストでない」ということは嘘である fact5: 仮に「この茂山家は来たないしおまけにそれは生み難くない」ということは成り立つということはないなら来た fact6: 仮にあのダイムラー・ベンツが引き付けるとするとそのリモートホストは引き付ける fact7: もし仮にこの月曜はアーティストであるということはないとすれば「それは御構い無いしおまけにそれは田舎っぽい」ということは偽である fact8: そのリモートホストが引き付けるとしたらこのオートローテーションは述べ伝え為さる fact9: 「この短大は少ないし田舎っぽい」ということは成り立たない fact10: 「この短大は田舎っぽくてさらに受け易い」ということは嘘である fact11: もし「何かは考証するがしかし来たない」ということは成り立たないならば来た fact12: それは来たしまた田舎っぽいというものはない fact13: 「それはっ早くて薨ずる」ということは事実だという物はない ; $hypothesis$ = 「この短大は来たししかもそれは田舎っぽい」ということは成り立たない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「この茂山家は来たないし生み難くない」ということは本当であるということはない
事実2: 従えるしそれにそれは巻き取るという物はない
事実3: もしなにがしかのものは来たなら「この短大は考証する一方で来たということはない」ということは間違いだ
事実4: もしもあるものは述べ伝え為さるとしたら「それは凄いがアーティストでない」ということは嘘である
事実5: 仮に「この茂山家は来たないしおまけにそれは生み難くない」ということは成り立つということはないなら来た
事実6: 仮にあのダイムラー・ベンツが引き付けるとするとそのリモートホストは引き付ける
事実7: もし仮にこの月曜はアーティストであるということはないとすれば「それは御構い無いしおまけにそれは田舎っぽい」ということは偽である
事実8: そのリモートホストが引き付けるとしたらこのオートローテーションは述べ伝え為さる
事実9: 「この短大は少ないし田舎っぽい」ということは成り立たない
事実10: 「この短大は田舎っぽくてさらに受け易い」ということは嘘である
事実11: もし「何かは考証するがしかし来たない」ということは成り立たないならば来た
事実12: それは来たしまた田舎っぽいというものはない
事実13: 「それはっ早くて薨ずる」ということは事実だという物はない

仮説: 「この短大は来たししかもそれは田舎っぽい」ということは成り立たない
1. 事実12から、仮説が導かれる

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