この野球帽は逆側である
fact1: 「えする」ものはある fact2: 「あの張本人は読み辛くない」ということは確かである fact3: この人達が私有しないとすればそれは燃え易いが歩き辛くない fact4: 仮に何らかの物が私有するならそれは逆側だ fact5: もし「この人達は吸収し易くない」ということは真実であるとすると「この野球帽は打ち震えるし更に私有する」ということは真実だ fact6: 「この人達は私有しない」ということは事実である fact7: 読み辛くないものは演技するし患者等である fact8: もしもこの抑止力が傷付き易くないとすればあの張本人は相手取るしおまけに吸収し易い fact9: もしこの人達が燃え易いが歩き辛くないとしたらこの野球帽は逆側でない fact10: 「この膳は私有しない」ということは事実である fact11: もしもあの張本人が患者等であるし吸収し易いとすればあの人達は吸収し易くない
fact3 & fact6 -> int1: この人達は燃え易いがしかし歩き辛くない; int1 & fact9 -> hypothesis;
この野球帽は逆側だ
fact14 -> int2: もし「この野球帽は私有する」ということは正しいとすれば逆側である; fact16 -> int3: もしもあの張本人が読み辛くないとしたら演技するしおまけに患者等だ; int3 & fact12 -> int4: あの張本人は演技するし患者等である; int4 -> int5: あの張本人は患者等だ;
$facts$ = fact1: 「えする」ものはある fact2: 「あの張本人は読み辛くない」ということは確かである fact3: この人達が私有しないとすればそれは燃え易いが歩き辛くない fact4: 仮に何らかの物が私有するならそれは逆側だ fact5: もし「この人達は吸収し易くない」ということは真実であるとすると「この野球帽は打ち震えるし更に私有する」ということは真実だ fact6: 「この人達は私有しない」ということは事実である fact7: 読み辛くないものは演技するし患者等である fact8: もしもこの抑止力が傷付き易くないとすればあの張本人は相手取るしおまけに吸収し易い fact9: もしこの人達が燃え易いが歩き辛くないとしたらこの野球帽は逆側でない fact10: 「この膳は私有しない」ということは事実である fact11: もしもあの張本人が患者等であるし吸収し易いとすればあの人達は吸収し易くない ; $hypothesis$ = この野球帽は逆側である ; $proof$ = 
fact3 & fact6 -> int1: この人達は燃え易いがしかし歩き辛くない; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: 「えする」ものはある
事実2: 「あの張本人は読み辛くない」ということは確かである
事実3: この人達が私有しないとすればそれは燃え易いが歩き辛くない
事実4: 仮に何らかの物が私有するならそれは逆側だ
事実5: もし「この人達は吸収し易くない」ということは真実であるとすると「この野球帽は打ち震えるし更に私有する」ということは真実だ
事実6: 「この人達は私有しない」ということは事実である
事実7: 読み辛くないものは演技するし患者等である
事実8: もしもこの抑止力が傷付き易くないとすればあの張本人は相手取るしおまけに吸収し易い
事実9: もしこの人達が燃え易いが歩き辛くないとしたらこの野球帽は逆側でない
事実10: 「この膳は私有しない」ということは事実である
事実11: もしもあの張本人が患者等であるし吸収し易いとすればあの人達は吸収し易くない

仮説: この野球帽は逆側である
1. 事実3と事実6から、推論1: "この人達は燃え易いがしかし歩き辛くない"が導かれる
2. 推論1と事実9から、仮説が否定される

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