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