あの侍臣は暴行事件でない
fact1: あの侍臣は一捻りしない fact2: もしあの侍臣が一捻りしないけれど様良しならそれは暴行事件である fact3: ウォーム・アップは暴行事件でないし登記すらない fact4: 仮になんらかの物は堅苦しくないとすると「食べ切れるけどウォーム・アップでない」ということは間違っている fact5: 堅苦しくないものは食べ切れるし更に登記す fact6: もし「あの吉本キューブは食べ切れるがしかしウォーム・アップでない」ということは嘘であるならあの侍臣はウォーム・アップだ fact7: 「とあるものは暴行事件でない一方でウォーム・アップである」ということは事実と異なるとすれば暴行事件だ fact8: もしなにがしかのものは登記すとしたら「それは暴行事件でないしウォーム・アップである」ということは間違いだ fact9: あの侍臣は一捻りするということはないがそれは様良し fact10: あの侍臣は一捻りするししかも様良しとしたら暴行事件である fact11: その未は一捻りする fact12: 「あの侍臣は牽引しない」ということは正しい
fact2 & fact9 -> hypothesis;
あの侍臣は暴行事件でない
fact13 -> int1: 「もしもあの侍臣がウォーム・アップだとするとあの侍臣は暴行事件でなくてそれに登記すらない」ということは真実だ; fact14 -> int2: 「もしも「あの吉本キューブは堅苦しいということはない」ということは事実だとしたら「あの吉本キューブは食べ切れるがウォーム・アップでない」ということは成り立たない」ということは成り立つ;
$facts$ = fact1: あの侍臣は一捻りしない fact2: もしあの侍臣が一捻りしないけれど様良しならそれは暴行事件である fact3: ウォーム・アップは暴行事件でないし登記すらない fact4: 仮になんらかの物は堅苦しくないとすると「食べ切れるけどウォーム・アップでない」ということは間違っている fact5: 堅苦しくないものは食べ切れるし更に登記す fact6: もし「あの吉本キューブは食べ切れるがしかしウォーム・アップでない」ということは嘘であるならあの侍臣はウォーム・アップだ fact7: 「とあるものは暴行事件でない一方でウォーム・アップである」ということは事実と異なるとすれば暴行事件だ fact8: もしなにがしかのものは登記すとしたら「それは暴行事件でないしウォーム・アップである」ということは間違いだ fact9: あの侍臣は一捻りするということはないがそれは様良し fact10: あの侍臣は一捻りするししかも様良しとしたら暴行事件である fact11: その未は一捻りする fact12: 「あの侍臣は牽引しない」ということは正しい ; $hypothesis$ = あの侍臣は暴行事件でない ; $proof$ = 
fact2 & fact9 -> hypothesis; __DISPROVED__
事実1: あの侍臣は一捻りしない
事実2: もしあの侍臣が一捻りしないけれど様良しならそれは暴行事件である
事実3: ウォーム・アップは暴行事件でないし登記すらない
事実4: 仮になんらかの物は堅苦しくないとすると「食べ切れるけどウォーム・アップでない」ということは間違っている
事実5: 堅苦しくないものは食べ切れるし更に登記す
事実6: もし「あの吉本キューブは食べ切れるがしかしウォーム・アップでない」ということは嘘であるならあの侍臣はウォーム・アップだ
事実7: 「とあるものは暴行事件でない一方でウォーム・アップである」ということは事実と異なるとすれば暴行事件だ
事実8: もしなにがしかのものは登記すとしたら「それは暴行事件でないしウォーム・アップである」ということは間違いだ
事実9: あの侍臣は一捻りするということはないがそれは様良し
事実10: あの侍臣は一捻りするししかも様良しとしたら暴行事件である
事実11: その未は一捻りする
事実12: 「あの侍臣は牽引しない」ということは正しい

仮説: あの侍臣は暴行事件でない
1. 事実2と事実9から、仮説が否定される

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