Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is round. If someone is rough then they are green. If someone is blue and round then they are rough.
Erin is rough.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2 OR ((triple6) -> rule1) OR ((((triple1 triple7) -> rule2)) -> rule1))] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple1 triple7) -> rule2))] Erin is round.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Gary is rough.[(((triple8 triple12) -> rule2))] @2: Gary is green.[(((((triple8 triple12) -> rule2)) -> rule1))]