Charlie is quiet. Charlie is round. Erin is quiet. Erin is smart. Fiona is cold. Fiona is young. Harry is cold. All round, cold things are not rough. All big things are rough. Smart things are big. Round things are smart. If something is cold then it is not quiet. If Fiona is quiet and Fiona is not rough then Fiona is not young.
Charlie is not smart.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Erin is quiet.[(triple3)] Erin is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is young.[(triple6)] Harry is cold.[(triple7)] @1: Charlie is smart.[(((triple2) -> rule4))] Erin is big.[(((triple4) -> rule3))] Fiona is not quiet.[(((triple5) -> rule5))] Harry is not quiet.[(((triple7) -> rule5))] @2: Charlie is big.[(((((triple2) -> rule4)) -> rule3))] Erin is rough.[(((((triple4) -> rule3)) -> rule2))] @3: Charlie is rough.[(((((((triple2) -> rule4)) -> rule3)) -> rule2))]