Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is young. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is young. Round people are furry. If someone is quiet then they are young. If Erin is furry and Erin is cold then Erin is round.
Anne is young.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple6) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple4) -> rule2))] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple13) -> rule1))] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple9 triple8) -> rule3))] Erin is young.[(triple14 OR ((triple11) -> rule2))]