そのＣＥＡは清くない
fact1: そのＣＥＡは抱え切れる fact2: この自律性は抱え切れる fact3: あのフェニックス公園は抱え切れる fact4: そのＣＥＡは獰猛さだ fact5: そのＣＥＡは清くて加えて抱え切れる fact6: 仮に何らかの物が抱え切れるということはないとするとそれは宜ししそれにそれは清い fact7: そのＣＥＡは怒りっぽいし更にそれは高炉セメントだ fact8: そのＣＥＡは抱え切れるしまた破れ難い
fact5 -> hypothesis;
fact5 -> hypothesis;
その馬力は宜しししかも清い
fact9 -> int1: 仮にその馬力が抱え切れるということはないならば宜ししさらにそれは清い;
$facts$ = fact1: そのＣＥＡは抱え切れる fact2: この自律性は抱え切れる fact3: あのフェニックス公園は抱え切れる fact4: そのＣＥＡは獰猛さだ fact5: そのＣＥＡは清くて加えて抱え切れる fact6: 仮に何らかの物が抱え切れるということはないとするとそれは宜ししそれにそれは清い fact7: そのＣＥＡは怒りっぽいし更にそれは高炉セメントだ fact8: そのＣＥＡは抱え切れるしまた破れ難い ; $hypothesis$ = そのＣＥＡは清くない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: そのＣＥＡは抱え切れる
事実2: この自律性は抱え切れる
事実3: あのフェニックス公園は抱え切れる
事実4: そのＣＥＡは獰猛さだ
事実5: そのＣＥＡは清くて加えて抱え切れる
事実6: 仮に何らかの物が抱え切れるということはないとするとそれは宜ししそれにそれは清い
事実7: そのＣＥＡは怒りっぽいし更にそれは高炉セメントだ
事実8: そのＣＥＡは抱え切れるしまた破れ難い

仮説: そのＣＥＡは清くない
1. 事実5から、仮説が否定される

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