Bob is furry. Bob is kind. Bob is rough. Bob is young. Erin is cold. Erin is kind. Erin is rough. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is smart. All furry things are kind. If Harry is nice and Harry is kind then Harry is smart. If Harry is cold and Harry is smart then Harry is young.
Bob is nice.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2 OR ((triple1) -> rule1))] Bob is rough.[(triple3)] Bob is young.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12 OR ((triple10 ((triple9) -> rule1)) -> rule2))] @1: Harry is kind.[(((triple9) -> rule1))] Harry is young.[(((triple8 triple12) -> rule3) OR ((triple8 ((triple10 ((triple9) -> rule1)) -> rule2)) -> rule3))]