Bob is blue. Bob is smart. Erin is green. Erin is red. Gary is furry. Gary is red. Gary is round. Harry is furry. Harry is green. Harry is smart. All furry things are round. If Bob is red and Bob is smart then Bob is furry. Green things are round. If something is blue and round then it is quiet. Round things are red. If something is green then it is red.
Erin is red.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4 OR ((triple3) -> rule6) OR ((((triple3) -> rule3)) -> rule5))] Gary is furry.[(triple5)] Gary is red.[(triple6 OR ((triple7) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] Gary is round.[(triple7 OR ((triple5) -> rule1))] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is smart.[(triple10)] @1: Erin is round.[(((triple3) -> rule3))] Harry is red.[(((triple9) -> rule6) OR ((((triple8) -> rule1)) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] Harry is round.[(((triple8) -> rule1) OR ((triple9) -> rule3))]