Erin is furry. Erin is not kind. Erin is red. Erin is round. Erin is smart. Gary is furry. Gary is smart. If something is red and not smart then it is big. All furry, kind things are big. Furry things are big. If something is smart and kind then it is red. If something is furry then it is red. If something is big then it is young. If Gary is big then Gary is kind. Big, kind things are round.
Erin is red.
@0: Erin is furry.[(triple1)] Erin is not kind.[(triple2)] Erin is red.[(triple3 OR ((triple1) -> rule5))] Erin is round.[(triple4)] Erin is smart.[(triple5)] Gary is furry.[(triple6)] Gary is smart.[(triple7)] @1: Erin is big.[(((triple1) -> rule3))] Gary is big.[(((triple6) -> rule3))] Gary is red.[(((triple6) -> rule5) OR ((triple7 ((((triple6) -> rule3)) -> rule7)) -> rule4))] @2: Erin is young.[(((((triple1) -> rule3)) -> rule6))] Gary is kind.[(((((triple6) -> rule3)) -> rule7))] Gary is young.[(((((triple6) -> rule3)) -> rule6))] @3: Gary is round.[(((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule7)) -> rule8))]