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