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