Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is smart. Anne is young. Dave is kind. Dave is red. Erin is young. Gary is big. All red, big things are smart. All kind, young things are big.
Erin is not young.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5 OR ((triple4 ((triple3 triple6) -> rule2)) -> rule1))] Anne is young.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Erin is young.[(triple9)] Gary is big.[(triple10)] @1: Anne is big.[(((triple3 triple6) -> rule2))]