Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is not round. Bob is smart. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is not quiet. Gary is round. Gary is smart. If someone is kind and not round then they are cold.
Gary is not smart.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple4 triple6) -> rule1))] Bob is kind.[(triple4)] Bob is not round.[(triple6)] Bob is quiet.[(triple5)] Bob is smart.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is not quiet.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)]