「「もしもアメリカらしくないし辛くないなら小煩くない」ものはある」ということは成り立たない
fact1: アメリカらしくない物が辛いということはないとするとそれは小煩くない fact2: 「もしも木らしいが片靨でないとすれば動かし難くない」物はある fact3: 「アメリカらしいということはないがしかし辛いとしたら「小煩くない」ということは真実である」物はある fact4: 「もしそのイーサネットが燥ぎ過ぎない一方で御努力だとしたらそのイーサネットは寒ーくない」ということは真実である
fact1 -> int1: もし仮にそのイーサネットがアメリカらしくないしさらに辛くないとするとそれは小煩くない; int1 -> hypothesis;
$facts$ = fact1: アメリカらしくない物が辛いということはないとするとそれは小煩くない fact2: 「もしも木らしいが片靨でないとすれば動かし難くない」物はある fact3: 「アメリカらしいということはないがしかし辛いとしたら「小煩くない」ということは真実である」物はある fact4: 「もしそのイーサネットが燥ぎ過ぎない一方で御努力だとしたらそのイーサネットは寒ーくない」ということは真実である ; $hypothesis$ = 「「もしもアメリカらしくないし辛くないなら小煩くない」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし仮にそのイーサネットがアメリカらしくないしさらに辛くないとするとそれは小煩くない; int1 -> hypothesis; __DISPROVED__
事実1: アメリカらしくない物が辛いということはないとするとそれは小煩くない
事実2: 「もしも木らしいが片靨でないとすれば動かし難くない」物はある
事実3: 「アメリカらしいということはないがしかし辛いとしたら「小煩くない」ということは真実である」物はある
事実4: 「もしそのイーサネットが燥ぎ過ぎない一方で御努力だとしたらそのイーサネットは寒ーくない」ということは真実である

仮説: 「「もしもアメリカらしくないし辛くないなら小煩くない」ものはある」ということは成り立たない
1. 事実1から、推論1: "もし仮にそのイーサネットがアメリカらしくないしさらに辛くないとするとそれは小煩くない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。