Anne is not smart. Erin is big. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Gary is big. Gary is nice. Gary is quiet. Gary is round. If something is quiet then it is round. Kind things are round. If something is kind and not quiet then it is not cold. If Anne is not smart then Anne is kind. If Erin is quiet and Erin is not round then Erin is cold. If Erin is big and Erin is not smart then Erin is cold.
Anne is not nice.
@0: Anne is not smart.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7 OR ((triple4) -> rule2) OR ((triple6) -> rule1))] Erin is smart.[(triple8)] Gary is big.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is round.[(triple12 OR ((triple11) -> rule1))] @1: Anne is kind.[(((triple1) -> rule4))] @2: Anne is round.[(((((triple1) -> rule4)) -> rule2))]