Bob is cold. Bob is green. Bob is kind. Bob is rough. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Erin is green. Erin is kind. Erin is quiet. Gary is blue. Gary is rough. If someone is kind and rough then they are blue. Rough people are blue. Green people are blue.
Gary is blue.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Dave is blue.[(triple5 OR ((triple6) -> rule3) OR ((triple9) -> rule2) OR ((triple7 triple9) -> rule1))] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13)] Gary is blue.[(triple14 OR ((triple15) -> rule2))] Gary is rough.[(triple15)] @1: Bob is blue.[(((triple2) -> rule3) OR ((triple4) -> rule2) OR ((triple3 triple4) -> rule1))] Erin is blue.[(((triple11) -> rule3))]