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