Charlie is green. Erin is round. Erin is white. Fiona is big. Fiona is smart. Fiona is white. Harry is blue. If Fiona is blue and Fiona is white then Fiona is young. Round people are blue. Young people are green. If someone is big then they are round. All white, smart people are blue. If someone is young and smart then they are green. If someone is blue and young then they are round. If Charlie is smart then Charlie is white.
Fiona is not green.
@0: Charlie is green.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] Fiona is big.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Harry is blue.[(triple7)] @1: Erin is blue.[(((triple2) -> rule2))] Fiona is blue.[(((triple6 triple5) -> rule5) OR ((((triple4) -> rule4)) -> rule2))] Fiona is round.[(((triple4) -> rule4) OR ((((triple6 triple5) -> rule5) ((((triple6 triple5) -> rule5) triple6) -> rule1)) -> rule7))] @2: Fiona is young.[(((((triple6 triple5) -> rule5) triple6) -> rule1) OR ((((((triple4) -> rule4)) -> rule2) triple6) -> rule1))] @3: Fiona is green.[(((((((triple6 triple5) -> rule5) triple6) -> rule1)) -> rule3) OR ((((((triple6 triple5) -> rule5) triple6) -> rule1) triple5) -> rule6) OR ((((((((triple4) -> rule4)) -> rule2) triple6) -> rule1)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule2) triple6) -> rule1) triple5) -> rule6))]