その古着屋は物寂しくない
fact1: もしもあのネームサーバが徒らっぽい一方でそれがミスターライオンでないとしたらこの階団は徒らっぽくない fact2: もし仮になにがしかのものは擦り取らないけど落第するとするとそれは体験記でない fact3: もしも「この部落差別は体験記だ」ということは成り立つとすれば擦り取る fact4: この部落差別は喋れる fact5: 「その銃声は物寂しい」ということは成り立つ fact6: 「心許ないものは徒らっぽいけれどミスターライオンでない」ということは成り立つ fact7: この部落差別は体験記だ fact8: 仮にこの階団が徒らっぽくないとするとこの部落差別は擦り取るということはないけれどそれは落第する fact9: もしもその古着屋が体験記ならばあの部落差別は物寂しい fact10: その古着屋は擦り取る fact11: 仮にこの部落差別が擦り取るならその古着屋は物寂しい
fact3 & fact7 -> int1: この部落差別は擦り取る; int1 & fact11 -> hypothesis;
その古着屋は物寂しくない
fact12 -> int2: もしもこの部落差別が擦り取らない一方でそれが落第するならそれは体験記でない; fact14 -> int3: もしあのネームサーバが心許ないとすると徒らっぽいけどミスターライオンでない;
$facts$ = fact1: もしもあのネームサーバが徒らっぽい一方でそれがミスターライオンでないとしたらこの階団は徒らっぽくない fact2: もし仮になにがしかのものは擦り取らないけど落第するとするとそれは体験記でない fact3: もしも「この部落差別は体験記だ」ということは成り立つとすれば擦り取る fact4: この部落差別は喋れる fact5: 「その銃声は物寂しい」ということは成り立つ fact6: 「心許ないものは徒らっぽいけれどミスターライオンでない」ということは成り立つ fact7: この部落差別は体験記だ fact8: 仮にこの階団が徒らっぽくないとするとこの部落差別は擦り取るということはないけれどそれは落第する fact9: もしもその古着屋が体験記ならばあの部落差別は物寂しい fact10: その古着屋は擦り取る fact11: 仮にこの部落差別が擦り取るならその古着屋は物寂しい ; $hypothesis$ = その古着屋は物寂しくない ; $proof$ = 
fact3 & fact7 -> int1: この部落差別は擦り取る; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: もしもあのネームサーバが徒らっぽい一方でそれがミスターライオンでないとしたらこの階団は徒らっぽくない
事実2: もし仮になにがしかのものは擦り取らないけど落第するとするとそれは体験記でない
事実3: もしも「この部落差別は体験記だ」ということは成り立つとすれば擦り取る
事実4: この部落差別は喋れる
事実5: 「その銃声は物寂しい」ということは成り立つ
事実6: 「心許ないものは徒らっぽいけれどミスターライオンでない」ということは成り立つ
事実7: この部落差別は体験記だ
事実8: 仮にこの階団が徒らっぽくないとするとこの部落差別は擦り取るということはないけれどそれは落第する
事実9: もしもその古着屋が体験記ならばあの部落差別は物寂しい
事実10: その古着屋は擦り取る
事実11: 仮にこの部落差別が擦り取るならその古着屋は物寂しい

仮説: その古着屋は物寂しくない
1. 事実3と事実7から、推論1: "この部落差別は擦り取る"が導かれる
2. 推論1と事実11から、仮説が否定される

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