Charlie is rough. Charlie is young. Erin is kind. Erin is nice. Erin is rough. Fiona is rough. Fiona is young. If something is young and nice then it is round. All kind, rough things are young. Smart, quiet things are round. If something is nice then it is quiet. All nice, round things are smart. If something is smart and nice then it is rough. If Fiona is young then Fiona is rough. Kind things are nice.
Fiona is kind.
@0: Charlie is rough.[(triple1)] Charlie is young.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple3) -> rule8))] Erin is rough.[(triple5)] Fiona is rough.[(triple6 OR ((triple7) -> rule7))] Fiona is young.[(triple7)] @1: Erin is quiet.[(((triple4) -> rule4) OR ((((triple3) -> rule8)) -> rule4))] Erin is young.[(((triple3 triple5) -> rule2))] @2: Erin is round.[(((((triple3 triple5) -> rule2) triple4) -> rule1) OR ((((triple3 triple5) -> rule2) ((triple3) -> rule8)) -> rule1))] @3: Erin is smart.[(((triple4 ((((triple3 triple5) -> rule2) triple4) -> rule1)) -> rule5) OR ((triple4 ((((triple3 triple5) -> rule2) ((triple3) -> rule8)) -> rule1)) -> rule5) OR ((((triple3) -> rule8) ((((triple3 triple5) -> rule2) triple4) -> rule1)) -> rule5) OR ((((triple3) -> rule8) ((((triple3 triple5) -> rule2) ((triple3) -> rule8)) -> rule1)) -> rule5))]