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