Erin is kind. Erin is rough. Gary is kind. If someone is kind then they are not young. If someone is kind then they are round. All round, rough people are green. If Erin is quiet and Erin is rough then Erin is red. If someone is round and not young then they are rough. Round, quiet people are rough. All kind, green people are rough. Red, young people are quiet.
Erin is green.
@0: Erin is kind.[(triple1)] Erin is rough.[(triple2 OR ((((triple1) -> rule2) ((triple1) -> rule1)) -> rule5))] Gary is kind.[(triple3)] @1: Erin is not young.[(((triple1) -> rule1))] Erin is round.[(((triple1) -> rule2))] Gary is not young.[(((triple3) -> rule1))] Gary is round.[(((triple3) -> rule2))] @2: Erin is green.[(((((triple1) -> rule2) triple2) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple1) -> rule1)) -> rule5)) -> rule3))] Gary is rough.[(((((triple3) -> rule2) ((triple3) -> rule1)) -> rule5))] @3: Gary is green.[(((((triple3) -> rule2) ((((triple3) -> rule2) ((triple3) -> rule1)) -> rule5)) -> rule3))]