Erin is blue. Erin is furry. Erin is quiet. Erin is round. Erin is smart. Erin is white. Erin is young. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Round, smart people are blue. All smart, furry people are young. All smart people are round. If Fiona is blue and Fiona is young then Fiona is furry. If Erin is round then Erin is furry. If Fiona is smart then Fiona is young. White, furry people are young. If Erin is smart and Erin is round then Erin is white.
Fiona is smart.
@0: Erin is blue.[(triple1 OR ((triple4 triple5) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule1))] Erin is furry.[(triple2 OR ((triple4) -> rule5) OR ((((triple5) -> rule3)) -> rule5))] Erin is quiet.[(triple3)] Erin is round.[(triple4 OR ((triple5) -> rule3))] Erin is smart.[(triple5)] Erin is white.[(triple6 OR ((triple5 triple4) -> rule8) OR ((triple5 ((triple5) -> rule3)) -> rule8))] Erin is young.[(triple7 OR ((triple5 triple2) -> rule2) OR ((triple6 triple2) -> rule7) OR ((triple5 ((triple4) -> rule5)) -> rule2) OR ((triple6 ((triple4) -> rule5)) -> rule7) OR ((((triple5 triple4) -> rule8) triple2) -> rule7) OR ((((triple5 triple4) -> rule8) ((triple4) -> rule5)) -> rule7) OR ((triple5 ((((triple5) -> rule3)) -> rule5)) -> rule2) OR ((triple6 ((((triple5) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((triple5 triple4) -> rule8) ((((triple5) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple5) -> rule3)) -> rule8) ((triple4) -> rule5)) -> rule7) OR ((((triple5 ((triple5) -> rule3)) -> rule8) ((((triple5) -> rule3)) -> rule5)) -> rule7))] Fiona is blue.[(triple8 OR ((triple11 triple12) -> rule1) OR ((((triple12) -> rule3) triple12) -> rule1))] Fiona is furry.[(triple9 OR ((triple8 triple14) -> rule4) OR ((triple8 ((triple12) -> rule6)) -> rule4) OR ((((triple11 triple12) -> rule1) triple14) -> rule4) OR ((((triple11 triple12) -> rule1) ((triple12) -> rule6)) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule1) triple14) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule1) ((triple12) -> rule6)) -> rule4))] Fiona is quiet.[(triple10)] Fiona is round.[(triple11 OR ((triple12) -> rule3))] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple12) -> rule6) OR ((triple12 triple9) -> rule2) OR ((triple13 triple9) -> rule7))]