Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is white. Furry people are quiet. All furry people are kind. Blue, furry people are white. All smart, furry people are kind. All quiet people are smart. If someone is blue and white then they are kind. Big, blue people are smart. Furry, big people are blue.
Fiona is not white.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple3 triple1) -> rule8))] Fiona is furry.[(triple3)] Fiona is kind.[(triple4 OR ((triple3) -> rule2) OR ((triple2 triple7) -> rule6) OR ((triple6 triple3) -> rule4) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule6) OR ((((triple5) -> rule5) triple3) -> rule4) OR ((((triple1 triple2) -> rule7) triple3) -> rule4) OR ((((triple3 triple1) -> rule8) triple7) -> rule6) OR ((((triple3 triple1) -> rule8) ((triple2 triple3) -> rule3)) -> rule6) OR ((triple2 ((((triple3 triple1) -> rule8) triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule1)) -> rule5) triple3) -> rule4) OR ((((triple1 ((triple3 triple1) -> rule8)) -> rule7) triple3) -> rule4) OR ((((triple3 triple1) -> rule8) ((((triple3 triple1) -> rule8) triple3) -> rule3)) -> rule6))] Fiona is quiet.[(triple5 OR ((triple3) -> rule1))] Fiona is smart.[(triple6 OR ((triple5) -> rule5) OR ((triple1 triple2) -> rule7) OR ((((triple3) -> rule1)) -> rule5) OR ((triple1 ((triple3 triple1) -> rule8)) -> rule7))] Fiona is white.[(triple7 OR ((triple2 triple3) -> rule3) OR ((((triple3 triple1) -> rule8) triple3) -> rule3))]