「もし「田野でないがしかし煙たがる」ということは事実だということはないとしたら構え易くない」物はある
fact1: もしも「その好は田野であるし煙たがる」ということは間違いならばそれは構え易くない fact2: もしその好は田野でないとしたら多次元であるということはない fact3: 「仮に入れ墨だということはないし更に整備充実であるとすると御無礼しない」ものはある fact4: もしも「その好は田野でないけど煙たがる」ということは成り立たないならば「それは構え易い」ということは事実である fact5: 「もし仮に煙たがらないとしたら構え易くない」ものはある fact6: 「もしも作成中だとすると火傷するということはない」ものはある fact7: 「「その好は田野でないけどそれは煙たがる」ということは成り立たない」ということは成り立つとすればそれは構え易くない
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: もしも「その好は田野であるし煙たがる」ということは間違いならばそれは構え易くない fact2: もしその好は田野でないとしたら多次元であるということはない fact3: 「仮に入れ墨だということはないし更に整備充実であるとすると御無礼しない」ものはある fact4: もしも「その好は田野でないけど煙たがる」ということは成り立たないならば「それは構え易い」ということは事実である fact5: 「もし仮に煙たがらないとしたら構え易くない」ものはある fact6: 「もしも作成中だとすると火傷するということはない」ものはある fact7: 「「その好は田野でないけどそれは煙たがる」ということは成り立たない」ということは成り立つとすればそれは構え易くない ; $hypothesis$ = 「もし「田野でないがしかし煙たがる」ということは事実だということはないとしたら構え易くない」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしも「その好は田野であるし煙たがる」ということは間違いならばそれは構え易くない
事実2: もしその好は田野でないとしたら多次元であるということはない
事実3: 「仮に入れ墨だということはないし更に整備充実であるとすると御無礼しない」ものはある
事実4: もしも「その好は田野でないけど煙たがる」ということは成り立たないならば「それは構え易い」ということは事実である
事実5: 「もし仮に煙たがらないとしたら構え易くない」ものはある
事実6: 「もしも作成中だとすると火傷するということはない」ものはある
事実7: 「「その好は田野でないけどそれは煙たがる」ということは成り立たない」ということは成り立つとすればそれは構え易くない

仮説: 「もし「田野でないがしかし煙たがる」ということは事実だということはないとしたら構え易くない」物はある
1. 事実7から、仮説が導かれる

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