Anne is furry. Charlie is young. Erin is big. Gary is smart. If Erin is furry and Erin is rough then Erin is big. If someone is round and young then they are kind. All smart people are rough. All big people are young. Big people are smart. If someone is big and rough then they are round. All smart, round people are big. All young people are round.
Charlie is young.
@0: Anne is furry.[(triple1)] Charlie is young.[(triple2)] Erin is big.[(triple3)] Gary is smart.[(triple4)] @1: Charlie is round.[(((triple2) -> rule8))] Erin is smart.[(((triple3) -> rule5))] Erin is young.[(((triple3) -> rule4))] Gary is rough.[(((triple4) -> rule3))] @2: Charlie is kind.[(((((triple2) -> rule8) triple2) -> rule2))] Erin is rough.[(((((triple3) -> rule5)) -> rule3))] Erin is round.[(((((triple3) -> rule4)) -> rule8) OR ((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule6))] @3: Erin is kind.[(((((((triple3) -> rule4)) -> rule8) ((triple3) -> rule4)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule6) ((triple3) -> rule4)) -> rule2))]