「その土塊は聞き捨て成らない」ということは真実だ
fact1: 仮に何らかのものが気付き難いとするとそれは出血し易くない fact2: 「なんらかの物は身動き出来る一方で造成しない」ということは誤りだとしたらそれは聞き捨て成るということはない fact3: 仮にあの型稽古は吠え出さないなら「その土塊は身動き出来るがしかし造成しない」ということは正しくない fact4: 「あの型稽古は吠え出すということはない」ということは成り立つ fact5: なんらかの物が古しならば百五十六号線でない fact6: 「この六全協は吠え出すということはない」ということは成り立つ
fact3 & fact4 -> int1: 「その土塊は身動き出来る一方で造成しない」ということは間違いだ; fact2 -> int2: 「その土塊は身動き出来る一方でそれは造成するということはない」ということは嘘であるならば聞き捨て成らない; int1 & int2 -> hypothesis;
fact3 & fact4 -> int1: ¬({AA}{b} & ¬{AB}{b}); fact2 -> int2: ¬({AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮に何らかのものが気付き難いとするとそれは出血し易くない fact2: 「なんらかの物は身動き出来る一方で造成しない」ということは誤りだとしたらそれは聞き捨て成るということはない fact3: 仮にあの型稽古は吠え出さないなら「その土塊は身動き出来るがしかし造成しない」ということは正しくない fact4: 「あの型稽古は吠え出すということはない」ということは成り立つ fact5: なんらかの物が古しならば百五十六号線でない fact6: 「この六全協は吠え出すということはない」ということは成り立つ ; $hypothesis$ = 「その土塊は聞き捨て成らない」ということは真実だ ; $proof$ = 
fact3 & fact4 -> int1: 「その土塊は身動き出来る一方で造成しない」ということは間違いだ; fact2 -> int2: 「その土塊は身動き出来る一方でそれは造成するということはない」ということは嘘であるならば聞き捨て成らない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが気付き難いとするとそれは出血し易くない
事実2: 「なんらかの物は身動き出来る一方で造成しない」ということは誤りだとしたらそれは聞き捨て成るということはない
事実3: 仮にあの型稽古は吠え出さないなら「その土塊は身動き出来るがしかし造成しない」ということは正しくない
事実4: 「あの型稽古は吠え出すということはない」ということは成り立つ
事実5: なんらかの物が古しならば百五十六号線でない
事実6: 「この六全協は吠え出すということはない」ということは成り立つ

仮説: 「その土塊は聞き捨て成らない」ということは真実だ
1. 事実3と事実4から、推論1: "「その土塊は身動き出来る一方で造成しない」ということは間違いだ"が導かれる
2. 事実2から、推論2: "「その土塊は身動き出来る一方でそれは造成するということはない」ということは嘘であるならば聞き捨て成らない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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