Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is white. Furry people are quiet. If Erin is smart and Erin is furry then Erin is cold. If someone is cold and kind then they are round. If Erin is kind and Erin is white then Erin is quiet. If someone is white then they are quiet. If Erin is cold then Erin is white.
Erin is round.
@0: Erin is cold.[(triple1 OR ((triple6 triple2) -> rule2))] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4 OR ((triple2) -> rule1) OR ((triple7) -> rule5) OR ((triple3 triple7) -> rule4) OR ((((triple1) -> rule6)) -> rule5) OR ((triple3 ((triple1) -> rule6)) -> rule4) OR ((((((triple6 triple2) -> rule2)) -> rule6)) -> rule5) OR ((triple3 ((((triple6 triple2) -> rule2)) -> rule6)) -> rule4))] Erin is round.[(triple5 OR ((triple1 triple3) -> rule3) OR ((((triple6 triple2) -> rule2) triple3) -> rule3))] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple1) -> rule6) OR ((((triple6 triple2) -> rule2)) -> rule6))]