あのジェスチャーは現われ易くない
fact1: あのジェスチャーは積み重ねるということはないけどそれはランドマーク知識である fact2: なにがしかのものがファイトアレキシンでないかまたは連結出来るかもしくは両方ともなら服う fact3: 仮になんらかのものは服うなら「「それは着るしそれにそれは現われ易いということはない」ということは成り立つ」ということは偽だ fact4: もしこの合併論者は同一コラム内でないがしかしランドマーク知識であるならばそれは割り入れるということはない fact5: もしこの別れ方が積み重ねるしその上それは仮橋であるとすれば意地悪くない fact6: あのジェスチャーが積み重ねないがそれがランドマーク知識ならばそれは現われ易くない fact7: あのジェスチャーは羨ましくない
fact6 & fact1 -> hypothesis;
fact6 & fact1 -> hypothesis;
あのジェスチャーは現われ易い
fact9 -> int1: もし「このＩγは服う」ということは確かであるとすれば「着る一方で現われ易くない」ということは嘘だ; fact8 -> int2: もしこのＩγはファイトアレキシンでないかまたは連結出来るかあるいは両方だとすればそれは服う;
$facts$ = fact1: あのジェスチャーは積み重ねるということはないけどそれはランドマーク知識である fact2: なにがしかのものがファイトアレキシンでないかまたは連結出来るかもしくは両方ともなら服う fact3: 仮になんらかのものは服うなら「「それは着るしそれにそれは現われ易いということはない」ということは成り立つ」ということは偽だ fact4: もしこの合併論者は同一コラム内でないがしかしランドマーク知識であるならばそれは割り入れるということはない fact5: もしこの別れ方が積み重ねるしその上それは仮橋であるとすれば意地悪くない fact6: あのジェスチャーが積み重ねないがそれがランドマーク知識ならばそれは現われ易くない fact7: あのジェスチャーは羨ましくない ; $hypothesis$ = あのジェスチャーは現われ易くない ; $proof$ = 
fact6 & fact1 -> hypothesis; __PROVED__
事実1: あのジェスチャーは積み重ねるということはないけどそれはランドマーク知識である
事実2: なにがしかのものがファイトアレキシンでないかまたは連結出来るかもしくは両方ともなら服う
事実3: 仮になんらかのものは服うなら「「それは着るしそれにそれは現われ易いということはない」ということは成り立つ」ということは偽だ
事実4: もしこの合併論者は同一コラム内でないがしかしランドマーク知識であるならばそれは割り入れるということはない
事実5: もしこの別れ方が積み重ねるしその上それは仮橋であるとすれば意地悪くない
事実6: あのジェスチャーが積み重ねないがそれがランドマーク知識ならばそれは現われ易くない
事実7: あのジェスチャーは羨ましくない

仮説: あのジェスチャーは現われ易くない
1. 事実6と事実1から、仮説が導かれる

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