Charlie is blue. Erin is nice. Gary is young. All nice people are blue. If someone is green and not blue then they are rough. If someone is blue then they are not red. If someone is blue and rough then they are red. Rough people are red. If someone is blue and not red then they are young.
Erin is rough.
@0: Charlie is blue.[(triple1)] Erin is nice.[(triple2)] Gary is young.[(triple3)] @1: Charlie is not red.[(((triple1) -> rule3))] Erin is blue.[(((triple2) -> rule1))] @2: Charlie is young.[(((triple1 ((triple1) -> rule3)) -> rule6))] Erin is not red.[(((((triple2) -> rule1)) -> rule3))] @3: Erin is young.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule3)) -> rule6))]