Anne is furry. Anne is quiet. Anne is white. Charlie is furry. Charlie is white. Charlie is young. Erin is white. Erin is young. Fiona is furry. Fiona is quiet. If Erin is smart and Erin is nice then Erin is white. If someone is young then they are quiet. If someone is quiet then they are smart. If someone is furry and white then they are smart. If Anne is white then Anne is cold. All quiet people are white. If someone is furry and white then they are young. Nice people are smart.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2 OR ((((triple1 triple3) -> rule7)) -> rule2))] Anne is white.[(triple3 OR ((triple2) -> rule6))] Charlie is furry.[(triple4)] Charlie is white.[(triple5 OR ((((triple6) -> rule2)) -> rule6))] Charlie is young.[(triple6 OR ((triple4 triple5) -> rule7))] Erin is white.[(triple7 OR ((((triple8) -> rule2)) -> rule6))] Erin is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] @1: Anne is cold.[(((triple3) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Anne is smart.[(((triple2) -> rule3) OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple2) -> rule6)) -> rule4) OR ((((((triple1 triple3) -> rule7)) -> rule2)) -> rule3))] Anne is young.[(((triple1 triple3) -> rule7) OR ((triple1 ((triple2) -> rule6)) -> rule7))] Charlie is quiet.[(((triple6) -> rule2) OR ((((triple4 triple5) -> rule7)) -> rule2))] Charlie is smart.[(((triple4 triple5) -> rule4) OR ((((triple6) -> rule2)) -> rule3) OR ((((((triple4 triple5) -> rule7)) -> rule2)) -> rule3) OR ((triple4 ((((triple6) -> rule2)) -> rule6)) -> rule4))] Erin is quiet.[(((triple8) -> rule2))] Fiona is smart.[(((triple10) -> rule3) OR ((triple9 ((triple10) -> rule6)) -> rule4))] Fiona is white.[(((triple10) -> rule6))] @2: Erin is smart.[(((((triple8) -> rule2)) -> rule3))] Fiona is young.[(((triple9 ((triple10) -> rule6)) -> rule7))]