Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is not red. Anne is not smart. Bob is red. Bob is smart. Erin is cold. Erin is green. Erin is smart. Gary is nice. Gary is not quiet. Gary is red. Gary is round. All green people are round.
Bob is not round.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not red.[(triple5)] Anne is not smart.[(triple6)] Anne is quiet.[(triple4)] Bob is red.[(triple7)] Bob is smart.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is smart.[(triple11)] Gary is nice.[(triple12)] Gary is not quiet.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] @1: Anne is round.[(((triple2) -> rule1))] Erin is round.[(((triple10) -> rule1))]