Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is white. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is white. Gary is blue. Gary is furry. Gary is red. If something is blue then it is cold. Blue things are red. If Gary is rough then Gary is cold.
Gary is cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple1) -> rule1))] Dave is furry.[(triple3)] Dave is red.[(triple4 OR ((triple1) -> rule2))] Dave is white.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8 OR ((triple7) -> rule1))] Erin is furry.[(triple9)] Erin is red.[(triple10 OR ((triple7) -> rule2))] Erin is rough.[(triple11)] Erin is white.[(triple12)] Gary is blue.[(triple13)] Gary is furry.[(triple14)] Gary is red.[(triple15 OR ((triple13) -> rule2))] @1: Gary is cold.[(((triple13) -> rule1))]