Bob is red. Bob is rough. Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is rough. Erin is big. Erin is cold. Erin is nice. Erin is rough. Gary is big. Gary is cold. Gary is kind. Cold things are blue. Rough things are cold.
Bob is not blue.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4 OR ((triple5) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] Dave is cold.[(triple5 OR ((triple9) -> rule2))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11 OR ((triple13) -> rule2))] Erin is nice.[(triple12)] Erin is rough.[(triple13)] Gary is big.[(triple14)] Gary is cold.[(triple15)] Gary is kind.[(triple16)] @1: Bob is cold.[(((triple2) -> rule2))] Erin is blue.[(((triple11) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] Gary is blue.[(((triple15) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule2)) -> rule1))]