「「攻撃し易くてさらに石版な」ものはある」ということは正しくない
fact1: 「あの狭窄はややこしいということはない一方でそれは狙い易い」ということは間違いである fact2: もしも「「ややこしくないししかも狙い易い」ということは間違いな」ものがあるとするとこの横断歩道はややこしい fact3: この横断歩道は攻撃し易い fact4: 「この横断歩道は石版だ」ということは成り立つ fact5: もしその貸し座敷が繋ぐとするとその御説は勤務形態でないかもしくは少年時代でないかあるいは両方ともである fact6: もしあるものは勤務形態でないかまたは少年時代だということはないかあるいは両方ともだとしたら少年時代であるということはない fact7: 「「攻撃し易い」ということは確かな」ものはある fact8: 仮にこの横断歩道がややこしいとしたらあのリトグラフはややこしい fact9: その御説が少年時代でないとしたらあのリトグラフは石版だしさらに攻撃し易い fact10: もしも「何らかの物は固い」ということは本当だとすればそれは繋ぐ
fact3 & fact4 -> int1: この横断歩道は攻撃し易いしまた石版だ; int1 -> hypothesis;
「あのリトグラフはややこしいし更に石版である」ということは真実である
fact14 -> int2: 「「ややこしくなくてそれに狙い易い」ということは事実と異なる」ものはある; int2 & fact15 -> int3: この横断歩道はややこしい; fact16 & int3 -> int4: あのリトグラフはややこしい; fact17 -> int5: もし仮にその御説が勤務形態でないかあるいはそれは少年時代でないとすると「少年時代でない」ということは本当だ; fact12 -> int6: 仮にその貸し座敷が固いとすると繋ぐ;
$facts$ = fact1: 「あの狭窄はややこしいということはない一方でそれは狙い易い」ということは間違いである fact2: もしも「「ややこしくないししかも狙い易い」ということは間違いな」ものがあるとするとこの横断歩道はややこしい fact3: この横断歩道は攻撃し易い fact4: 「この横断歩道は石版だ」ということは成り立つ fact5: もしその貸し座敷が繋ぐとするとその御説は勤務形態でないかもしくは少年時代でないかあるいは両方ともである fact6: もしあるものは勤務形態でないかまたは少年時代だということはないかあるいは両方ともだとしたら少年時代であるということはない fact7: 「「攻撃し易い」ということは確かな」ものはある fact8: 仮にこの横断歩道がややこしいとしたらあのリトグラフはややこしい fact9: その御説が少年時代でないとしたらあのリトグラフは石版だしさらに攻撃し易い fact10: もしも「何らかの物は固い」ということは本当だとすればそれは繋ぐ ; $hypothesis$ = 「「攻撃し易くてさらに石版な」ものはある」ということは正しくない ; $proof$ = 
fact3 & fact4 -> int1: この横断歩道は攻撃し易いしまた石版だ; int1 -> hypothesis; __DISPROVED__
事実1: 「あの狭窄はややこしいということはない一方でそれは狙い易い」ということは間違いである
事実2: もしも「「ややこしくないししかも狙い易い」ということは間違いな」ものがあるとするとこの横断歩道はややこしい
事実3: この横断歩道は攻撃し易い
事実4: 「この横断歩道は石版だ」ということは成り立つ
事実5: もしその貸し座敷が繋ぐとするとその御説は勤務形態でないかもしくは少年時代でないかあるいは両方ともである
事実6: もしあるものは勤務形態でないかまたは少年時代だということはないかあるいは両方ともだとしたら少年時代であるということはない
事実7: 「「攻撃し易い」ということは確かな」ものはある
事実8: 仮にこの横断歩道がややこしいとしたらあのリトグラフはややこしい
事実9: その御説が少年時代でないとしたらあのリトグラフは石版だしさらに攻撃し易い
事実10: もしも「何らかの物は固い」ということは本当だとすればそれは繋ぐ

仮説: 「「攻撃し易くてさらに石版な」ものはある」ということは正しくない
1. 事実3と事実4から、推論1: "この横断歩道は攻撃し易いしまた石版だ"が導かれる
2. 推論1から、仮説が否定される

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