Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is not smart. Bob is young. Dave is cold. Dave is kind. Dave is nice. Dave is not smart. Gary is kind. Gary is not quiet. Gary is rough. Gary is young. All young people are cold.
Bob is smart.
@0: Bob is cold.[(triple1 OR ((triple7) -> rule1))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not smart.[(triple6)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is young.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Dave is not smart.[(triple11)] Gary is kind.[(triple12)] Gary is not quiet.[(triple13)] Gary is rough.[(triple14)] Gary is young.[(triple15)] @1: Gary is cold.[(((triple15) -> rule1))]