あの呉越は刺し殺さない
fact1: その出没は染み付く fact2: その成長点は染み付くしその上出し難い fact3: なにかは刺し殺すとすればそれは学業成績である fact4: もし仮にその成長点が刺し殺せばあの呉越は染み付く fact5: この学習上は折り取る fact6: もし仮にその出没が学業成績であるならあの呉越は刺し殺す fact7: もしもある物が染み付くとするとそれは折り取る fact8: もし仮に「その成長点は折り取る」ということは成り立つとするとその出没は学業成績だ fact9: もしその成長点が学業成績であるとすればその出没は出し難い
fact2 -> int1: その成長点は染み付く; fact7 -> int2: もし仮に「その成長点は染み付く」ということは事実だとしたらそれは折り取る; int1 & int2 -> int3: その成長点は折り取る; int3 & fact8 -> int4: その出没は学業成績だ; int4 & fact6 -> hypothesis;
$facts$ = fact1: その出没は染み付く fact2: その成長点は染み付くしその上出し難い fact3: なにかは刺し殺すとすればそれは学業成績である fact4: もし仮にその成長点が刺し殺せばあの呉越は染み付く fact5: この学習上は折り取る fact6: もし仮にその出没が学業成績であるならあの呉越は刺し殺す fact7: もしもある物が染み付くとするとそれは折り取る fact8: もし仮に「その成長点は折り取る」ということは成り立つとするとその出没は学業成績だ fact9: もしその成長点が学業成績であるとすればその出没は出し難い ; $hypothesis$ = あの呉越は刺し殺さない ; $proof$ = 
fact2 -> int1: その成長点は染み付く; fact7 -> int2: もし仮に「その成長点は染み付く」ということは事実だとしたらそれは折り取る; int1 & int2 -> int3: その成長点は折り取る; int3 & fact8 -> int4: その出没は学業成績だ; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: その出没は染み付く
事実2: その成長点は染み付くしその上出し難い
事実3: なにかは刺し殺すとすればそれは学業成績である
事実4: もし仮にその成長点が刺し殺せばあの呉越は染み付く
事実5: この学習上は折り取る
事実6: もし仮にその出没が学業成績であるならあの呉越は刺し殺す
事実7: もしもある物が染み付くとするとそれは折り取る
事実8: もし仮に「その成長点は折り取る」ということは成り立つとするとその出没は学業成績だ
事実9: もしその成長点が学業成績であるとすればその出没は出し難い

仮説: あの呉越は刺し殺さない
1. 事実2から、推論1: "その成長点は染み付く"が導かれる
2. 事実7から、推論2: "もし仮に「その成長点は染み付く」ということは事実だとしたらそれは折り取る"が導かれる
3. 推論1と推論2から、推論3: "その成長点は折り取る"が導かれる
4. 推論3と事実8から、推論4: "その出没は学業成績だ"が導かれる
5. 推論4と事実6から、仮説が否定される

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