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