「あの中途が憑依するということはないしその上納得し難くない」ということは間違いだ
fact1: 「この肥満細胞は食べ終えない」ということは成り立つ fact2: あのロボット小僧が食べ終えないとするとあの中途が憑依しないしさらにそれは納得し難くない fact3: 「あのロボット小僧は食べ終えない」ということは成り立つ
$facts$ = fact1: 「この肥満細胞は食べ終えない」ということは成り立つ fact2: あのロボット小僧が食べ終えないとするとあの中途が憑依しないしさらにそれは納得し難くない fact3: 「あのロボット小僧は食べ終えない」ということは成り立つ ; $hypothesis$ = 「あの中途が憑依するということはないしその上納得し難くない」ということは間違いだ ; $proof$ = 
事実1: 「この肥満細胞は食べ終えない」ということは成り立つ
事実2: あのロボット小僧が食べ終えないとするとあの中途が憑依しないしさらにそれは納得し難くない
事実3: 「あのロボット小僧は食べ終えない」ということは成り立つ

仮説: 「あの中途が憑依するということはないしその上納得し難くない」ということは間違いだ