その骨幹は長ーくない
fact1: 仮に「「摘み上げなくて加えて刑事事件である」ということは成り立たない」物があるとしたらあの豚ロース肉は刑事事件でない fact2: その骨幹は長ーいしかつ尊し fact3: その骨幹は仕返しする fact4: その骨幹は看過し難いしかつそれは尊し fact5: 「「摘み上げないけど刑事事件だ」ということは成り立たない」物はある fact6: もしもとある物は刑事事件でないならば「長ーいし更に尊し」ということは確かだ fact7: この単肥は低姿勢であるかあるいは楽しないかあるいは両方ともであるならばそれは刑事事件だということはない fact8: その骨幹は尊し
fact2 -> hypothesis;
fact2 -> hypothesis;
その骨幹は長ーくない
fact9 & fact10 -> int1: 「あの豚ロース肉は刑事事件でない」ということは偽でない;
$facts$ = fact1: 仮に「「摘み上げなくて加えて刑事事件である」ということは成り立たない」物があるとしたらあの豚ロース肉は刑事事件でない fact2: その骨幹は長ーいしかつ尊し fact3: その骨幹は仕返しする fact4: その骨幹は看過し難いしかつそれは尊し fact5: 「「摘み上げないけど刑事事件だ」ということは成り立たない」物はある fact6: もしもとある物は刑事事件でないならば「長ーいし更に尊し」ということは確かだ fact7: この単肥は低姿勢であるかあるいは楽しないかあるいは両方ともであるならばそれは刑事事件だということはない fact8: その骨幹は尊し ; $hypothesis$ = その骨幹は長ーくない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「「摘み上げなくて加えて刑事事件である」ということは成り立たない」物があるとしたらあの豚ロース肉は刑事事件でない
事実2: その骨幹は長ーいしかつ尊し
事実3: その骨幹は仕返しする
事実4: その骨幹は看過し難いしかつそれは尊し
事実5: 「「摘み上げないけど刑事事件だ」ということは成り立たない」物はある
事実6: もしもとある物は刑事事件でないならば「長ーいし更に尊し」ということは確かだ
事実7: この単肥は低姿勢であるかあるいは楽しないかあるいは両方ともであるならばそれは刑事事件だということはない
事実8: その骨幹は尊し

仮説: その骨幹は長ーくない
1. 事実2から、仮説が否定される

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