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