Bob is furry. Bob is red. Charlie is red. Charlie is smart. Charlie is young. Erin is cold. Erin is smart. Erin is young. Harry is kind. Harry is red. If something is rough then it is smart. Red things are rough. Smart things are furry.
Erin is not red.
@0: Bob is furry.[(triple1 OR ((((((triple2) -> rule2)) -> rule1)) -> rule3))] Bob is red.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4 OR ((((triple3) -> rule2)) -> rule1))] Charlie is young.[(triple5)] Erin is cold.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10)] @1: Bob is rough.[(((triple2) -> rule2))] Charlie is furry.[(((triple4) -> rule3) OR ((((((triple3) -> rule2)) -> rule1)) -> rule3))] Charlie is rough.[(((triple3) -> rule2))] Erin is furry.[(((triple7) -> rule3))] Harry is rough.[(((triple10) -> rule2))] @2: Bob is smart.[(((((triple2) -> rule2)) -> rule1))] Harry is smart.[(((((triple10) -> rule2)) -> rule1))] @3: Harry is furry.[(((((((triple10) -> rule2)) -> rule1)) -> rule3))]