Charlie is quiet. Dave is smart. Erin is kind. Fiona is rough. All rough things are big. Quiet things are smart. If something is kind then it is quiet. Smart, quiet things are white. If something is white then it is round. If something is rough and round then it is kind.
Erin is not smart.
@0: Charlie is quiet.[(triple1)] Dave is smart.[(triple2)] Erin is kind.[(triple3)] Fiona is rough.[(triple4)] @1: Charlie is smart.[(((triple1) -> rule2))] Erin is quiet.[(((triple3) -> rule3))] Fiona is big.[(((triple4) -> rule1))] @2: Charlie is white.[(((((triple1) -> rule2) triple1) -> rule4))] Erin is smart.[(((((triple3) -> rule3)) -> rule2))] @3: Charlie is round.[(((((((triple1) -> rule2) triple1) -> rule4)) -> rule5))] Erin is white.[(((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule4))] @4: Erin is round.[(((((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule4)) -> rule5))]