このポリープは損傷しない
fact1: もしもこのポリープは縦横無尽でないなら「それは行われ易いということはないがしかしクリスマスイブである」ということは誤っている fact2: この命令通りは損傷する fact3: 「そのＣＤＫは損傷する」ということは成り立つ fact4: このポリープは損傷する fact5: 「素早くないものは損傷するしイメージし易い」ということは成り立つ
fact4 -> hypothesis;
fact4 -> hypothesis;
この欠損は損傷する
fact6 -> int1: もしこの欠損が素早くないとすると損傷するし加えてそれはイメージし易い;
$facts$ = fact1: もしもこのポリープは縦横無尽でないなら「それは行われ易いということはないがしかしクリスマスイブである」ということは誤っている fact2: この命令通りは損傷する fact3: 「そのＣＤＫは損傷する」ということは成り立つ fact4: このポリープは損傷する fact5: 「素早くないものは損傷するしイメージし易い」ということは成り立つ ; $hypothesis$ = このポリープは損傷しない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もしもこのポリープは縦横無尽でないなら「それは行われ易いということはないがしかしクリスマスイブである」ということは誤っている
事実2: この命令通りは損傷する
事実3: 「そのＣＤＫは損傷する」ということは成り立つ
事実4: このポリープは損傷する
事実5: 「素早くないものは損傷するしイメージし易い」ということは成り立つ

仮説: このポリープは損傷しない
1. 事実4から、仮説が否定される

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