Anne is nice. Charlie is red. Charlie is round. Charlie is white. Charlie is young. Erin is blue. Erin is green. Erin is young. Fiona is green. Fiona is round. All green things are young. Round things are blue. Green things are red. White, young things are nice. If Charlie is white and Charlie is young then Charlie is blue. Young things are nice. If something is white and young then it is blue. White things are red.
Anne is young.
@0: Anne is nice.[(triple1)] Charlie is red.[(triple2 OR ((triple4) -> rule8))] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is young.[(triple8 OR ((triple7) -> rule1))] Fiona is green.[(triple9)] Fiona is round.[(triple10)] @1: Charlie is blue.[(((triple3) -> rule2) OR ((triple4 triple5) -> rule5) OR ((triple4 triple5) -> rule7))] Charlie is nice.[(((triple5) -> rule6) OR ((triple4 triple5) -> rule4))] Erin is nice.[(((triple8) -> rule6) OR ((((triple7) -> rule1)) -> rule6))] Erin is red.[(((triple7) -> rule3))] Fiona is blue.[(((triple10) -> rule2))] Fiona is red.[(((triple9) -> rule3))] Fiona is young.[(((triple9) -> rule1))] @2: Fiona is nice.[(((((triple9) -> rule1)) -> rule6))]