「もし仮に「采地だということはないがしかしエンゼルスだ」ということは偽であるなら物珍しい」物はある
fact1: もしこの芋畑が采地だということはないがしかしそれがエンゼルスだとすればそれは物珍しい fact2: もしこの芋畑が采地だとすればそれは物珍しい fact3: 「エンゼルスでないとすれば物珍しい」物はある fact4: 「もし仮に「伸び易くないしまた程近い」ということは真実でないとすると仕舞い易い」物はある fact5: もし仮に「この芋畑は借用しないけど惨めったらしい」ということは成り立たないとしたらエンゼルスである fact6: もし仮に「この芋畑はエンゼルスでない一方でそれは戦後政治だ」ということは成り立たないなら呼び得る fact7: 「もしも采地であるなら「物珍しい」ということは成り立つ」ものはある fact8: もし「この芋畑は采地だということはないがしかしエンゼルスだ」ということは嘘だとしたら「物珍しい」ということは本当だ
fact8 -> hypothesis;
$facts$ = fact1: もしこの芋畑が采地だということはないがしかしそれがエンゼルスだとすればそれは物珍しい fact2: もしこの芋畑が采地だとすればそれは物珍しい fact3: 「エンゼルスでないとすれば物珍しい」物はある fact4: 「もし仮に「伸び易くないしまた程近い」ということは真実でないとすると仕舞い易い」物はある fact5: もし仮に「この芋畑は借用しないけど惨めったらしい」ということは成り立たないとしたらエンゼルスである fact6: もし仮に「この芋畑はエンゼルスでない一方でそれは戦後政治だ」ということは成り立たないなら呼び得る fact7: 「もしも采地であるなら「物珍しい」ということは成り立つ」ものはある fact8: もし「この芋畑は采地だということはないがしかしエンゼルスだ」ということは嘘だとしたら「物珍しい」ということは本当だ ; $hypothesis$ = 「もし仮に「采地だということはないがしかしエンゼルスだ」ということは偽であるなら物珍しい」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしこの芋畑が采地だということはないがしかしそれがエンゼルスだとすればそれは物珍しい
事実2: もしこの芋畑が采地だとすればそれは物珍しい
事実3: 「エンゼルスでないとすれば物珍しい」物はある
事実4: 「もし仮に「伸び易くないしまた程近い」ということは真実でないとすると仕舞い易い」物はある
事実5: もし仮に「この芋畑は借用しないけど惨めったらしい」ということは成り立たないとしたらエンゼルスである
事実6: もし仮に「この芋畑はエンゼルスでない一方でそれは戦後政治だ」ということは成り立たないなら呼び得る
事実7: 「もしも采地であるなら「物珍しい」ということは成り立つ」ものはある
事実8: もし「この芋畑は采地だということはないがしかしエンゼルスだ」ということは嘘だとしたら「物珍しい」ということは本当だ

仮説: 「もし仮に「采地だということはないがしかしエンゼルスだ」ということは偽であるなら物珍しい」物はある
1. 事実8から、仮説が導かれる

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