Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is smart. Bob is young. Dave is green. Dave is young. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is young. Gary is cold. Gary is smart. If something is cold then it is smart.
Gary is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is smart.[(triple5 OR ((triple2) -> rule1))] Bob is young.[(triple6)] Dave is green.[(triple7)] Dave is young.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is nice.[(triple13)] Erin is young.[(triple14)] Gary is cold.[(triple15)] Gary is smart.[(triple16 OR ((triple15) -> rule1))] @1: Erin is smart.[(((triple10) -> rule1))]