「とある物は村民であるかあるいはすばしこいかあるいはどちらもである」ということは嘘である
fact1: とある物はすばしこいかあるいは悪しか両方ともだ fact2: あの悪法は悪しかもしくはそれは精神科領域であるかどちらもだ fact3: あの悪法は悪し fact4: あの労働成果は悪し fact5: その重傷は悪し fact6: あの悪法は悪しかまたはそれは村民であるかもしくは両方ともである fact7: あの守備陣は担保だ fact8: とあるものは感慨深いかもしくはそれは焼香するかあるいは両方である fact9: もしも「あるものはＰＦＰでない一方ですばしこい」ということは事実と異なるとすると「それはすばしこくない」ということは事実だ fact10: あの反右派運動は悪し fact11: 何らかの物は村民であるかあるいはそれは悪しか両方ともである fact12: あの総司令部は住み易い fact13: その重傷は油っぽい fact14: もし仮にその重傷がすばしこいならあの悪法は村民だ fact15: その重傷が悪しとするとあの悪法は村民である
fact15 & fact5 -> int1: あの悪法は村民だ; int1 -> int2: あの悪法は村民であるかあるいはすばしこいかもしくは両方ともだ; int2 -> hypothesis;
このレディグレイは悪し
fact16 -> int3: もし仮に「このレディグレイはＰＦＰでないがそれはすばしこい」ということは成り立たないならすばしこいということはない;
$facts$ = fact1: とある物はすばしこいかあるいは悪しか両方ともだ fact2: あの悪法は悪しかもしくはそれは精神科領域であるかどちらもだ fact3: あの悪法は悪し fact4: あの労働成果は悪し fact5: その重傷は悪し fact6: あの悪法は悪しかまたはそれは村民であるかもしくは両方ともである fact7: あの守備陣は担保だ fact8: とあるものは感慨深いかもしくはそれは焼香するかあるいは両方である fact9: もしも「あるものはＰＦＰでない一方ですばしこい」ということは事実と異なるとすると「それはすばしこくない」ということは事実だ fact10: あの反右派運動は悪し fact11: 何らかの物は村民であるかあるいはそれは悪しか両方ともである fact12: あの総司令部は住み易い fact13: その重傷は油っぽい fact14: もし仮にその重傷がすばしこいならあの悪法は村民だ fact15: その重傷が悪しとするとあの悪法は村民である ; $hypothesis$ = 「とある物は村民であるかあるいはすばしこいかあるいはどちらもである」ということは嘘である ; $proof$ = 
fact15 & fact5 -> int1: あの悪法は村民だ; int1 -> int2: あの悪法は村民であるかあるいはすばしこいかもしくは両方ともだ; int2 -> hypothesis; __DISPROVED__
事実1: とある物はすばしこいかあるいは悪しか両方ともだ
事実2: あの悪法は悪しかもしくはそれは精神科領域であるかどちらもだ
事実3: あの悪法は悪し
事実4: あの労働成果は悪し
事実5: その重傷は悪し
事実6: あの悪法は悪しかまたはそれは村民であるかもしくは両方ともである
事実7: あの守備陣は担保だ
事実8: とあるものは感慨深いかもしくはそれは焼香するかあるいは両方である
事実9: もしも「あるものはＰＦＰでない一方ですばしこい」ということは事実と異なるとすると「それはすばしこくない」ということは事実だ
事実10: あの反右派運動は悪し
事実11: 何らかの物は村民であるかあるいはそれは悪しか両方ともである
事実12: あの総司令部は住み易い
事実13: その重傷は油っぽい
事実14: もし仮にその重傷がすばしこいならあの悪法は村民だ
事実15: その重傷が悪しとするとあの悪法は村民である

仮説: 「とある物は村民であるかあるいはすばしこいかあるいはどちらもである」ということは嘘である
1. 事実15と事実5から、推論1: "あの悪法は村民だ"が導かれる
2. 推論1から、推論2: "あの悪法は村民であるかあるいはすばしこいかもしくは両方ともだ"が導かれる
3. 推論2から、仮説が否定される

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