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