Dave is green. Dave is red. Dave is rough. Erin is nice. Erin is red. Erin is round. Gary is green. Gary is nice. Gary is round. Gary is smart. Nice things are green. If Erin is red and Erin is rough then Erin is smart. If something is round and green then it is rough.
Erin is not quiet.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Gary is green.[(triple7 OR ((triple8) -> rule1))] Gary is nice.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Erin is green.[(((triple4) -> rule1))] Gary is rough.[(((triple9 triple7) -> rule3) OR ((triple9 ((triple8) -> rule1)) -> rule3))] @2: Erin is rough.[(((triple6 ((triple4) -> rule1)) -> rule3))] @3: Erin is smart.[(((triple5 ((triple6 ((triple4) -> rule1)) -> rule3)) -> rule2))]