Dave is cold. Dave is red. Dave is young. Erin is blue. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is young. Gary is kind. Gary is nice. Gary is red. Harry is blue. Harry is red. Harry is young. All blue, red things are kind. If Gary is young and Gary is blue then Gary is nice.
Dave is not kind.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Dave is young.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6 OR ((triple4 triple7) -> rule1))] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Harry is kind.[(((triple13 triple14) -> rule1))]