Anne is kind. Anne is young. Dave is kind. Dave is young. Erin is cold. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Erin is young. Gary is cold. Gary is kind. Gary is nice. Gary is red. Gary is smart. All young people are smart. All kind, smart people are red. If someone is red then they are nice.
Anne is red.
@0: Anne is kind.[(triple1)] Anne is young.[(triple2)] Dave is kind.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((triple6 triple9) -> rule2) OR ((triple6 ((triple10) -> rule1)) -> rule2))] Erin is smart.[(triple9 OR ((triple10) -> rule1))] Erin is young.[(triple10)] Gary is cold.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13 OR ((triple14) -> rule3) OR ((((triple12 triple15) -> rule2)) -> rule3))] Gary is red.[(triple14 OR ((triple12 triple15) -> rule2))] Gary is smart.[(triple15)] @1: Anne is smart.[(((triple2) -> rule1))] Dave is smart.[(((triple4) -> rule1))] Erin is nice.[(((triple8) -> rule3) OR ((((triple6 triple9) -> rule2)) -> rule3) OR ((((triple6 ((triple10) -> rule1)) -> rule2)) -> rule3))] @2: Anne is red.[(((triple1 ((triple2) -> rule1)) -> rule2))] Dave is red.[(((triple3 ((triple4) -> rule1)) -> rule2))] @3: Anne is nice.[(((((triple1 ((triple2) -> rule1)) -> rule2)) -> rule3))] Dave is nice.[(((((triple3 ((triple4) -> rule1)) -> rule2)) -> rule3))]