Bob is kind. Bob is red. Erin is furry. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. Harry is furry. Harry is young. Young people are kind.
Erin is not kind.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Erin is furry.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5 OR ((triple8) -> rule1))] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is young.[(triple8)] Harry is furry.[(triple9)] Harry is young.[(triple10)] @1: Harry is kind.[(((triple10) -> rule1))]