Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is young. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is young. If someone is rough then they are nice. Kind, young people are red. If someone is rough then they are young.
Erin is young.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5 OR ((triple2 triple6) -> rule2))] Erin is young.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple8 triple12) -> rule2) OR ((triple8 ((triple11) -> rule3)) -> rule2))] Gary is rough.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule3))] @1: Gary is nice.[(((triple11) -> rule1))]