Bob is cold. Bob is quiet. Bob is red. Gary is quiet. Gary is red. Gary is rough. Gary is white. Harry is quiet. Harry is red. Harry is not rough. If something is nice then it is smart. All cold things are nice.
Bob is not nice.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] Harry is not rough.[(triple10)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] @1: Bob is nice.[(((triple1) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule2)) -> rule1))]