Charlie is round. Charlie is smart. Charlie is young. Erin is red. Erin is round. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Gary is young. All young things are quiet. If something is furry and not round then it is not quiet. All round, quiet things are not furry.
Erin is kind.
@0: Charlie is round.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Fiona is quiet.[(triple6 OR ((triple9) -> rule1))] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is young.[(triple10)] @1: Charlie is quiet.[(((triple3) -> rule1))] Fiona is not furry.[(((triple7 triple6) -> rule3) OR ((triple7 ((triple9) -> rule1)) -> rule3))] Gary is quiet.[(((triple10) -> rule1))] @2: Charlie is not furry.[(((triple1 ((triple3) -> rule1)) -> rule3))]