Anne is kind. Anne is not nice. Anne is not smart. Dave is blue. Erin is round. Gary is not cold. Gary is kind. If Gary is round then Gary is young. If someone is round then they are nice. Smart people are kind. Cold people are smart. All nice people are smart. If someone is nice and not cold then they are not blue.
Erin is not nice.
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is not smart.[(triple3)] Dave is blue.[(triple4)] Erin is round.[(triple5)] Gary is kind.[(triple7)] Gary is not cold.[(triple6)] @1: Erin is nice.[(((triple5) -> rule2))] @2: Erin is smart.[(((((triple5) -> rule2)) -> rule5))] @3: Erin is kind.[(((((((triple5) -> rule2)) -> rule5)) -> rule3))]