Dave is kind. Dave is nice. Dave is smart. Gary is big. Gary is not cold. Gary is kind. Gary is not round. Harry is cold. Harry is kind. Harry is not smart. Cold things are not big. If something is nice and big then it is not smart. If Harry is cold then Harry is kind.
Gary is big.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] Gary is big.[(triple4)] Gary is kind.[(triple6)] Gary is not cold.[(triple5)] Gary is not round.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9 OR ((triple8) -> rule3))] Harry is not smart.[(triple10)] @1: Harry is not big.[(((triple8) -> rule1))]