Anne is furry. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is young. Fiona is big. Fiona is furry. Fiona is young. Gary is big. If someone is young and white then they are furry. If Anne is young and Anne is white then Anne is big. If someone is young and cold then they are kind. White, young people are furry. Kind, furry people are cold. Young people are kind. If Gary is big then Gary is furry. If Erin is big and Erin is cold then Erin is kind.
Erin is cold.
@0: Anne is furry.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3 OR ((triple5 triple4) -> rule5) OR ((((triple6) -> rule6) triple4) -> rule5))] Erin is furry.[(triple4)] Erin is kind.[(triple5 OR ((triple6) -> rule6) OR ((triple2 triple3) -> rule8) OR ((triple6 triple3) -> rule3))] Erin is young.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10)] @1: Fiona is kind.[(((triple9) -> rule6))] Gary is furry.[(((triple10) -> rule7))] @2: Fiona is cold.[(((((triple9) -> rule6) triple8) -> rule5))]