Dave is quiet. Erin is big. Erin is green. Erin is round. Gary is cold. Gary is not green. Gary is not quiet. Gary is rough. Gary is round. Gary is white. Green, round people are not cold. Round, green people are big.
Erin is cold.
@0: Dave is quiet.[(triple1)] Erin is big.[(triple2 OR ((triple4 triple3) -> rule2))] Erin is green.[(triple3)] Erin is round.[(triple4)] Gary is cold.[(triple5)] Gary is not green.[(triple6)] Gary is not quiet.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Erin is not cold.[(((triple3 triple4) -> rule1))]