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