Anne is round. Bob is quiet. Charlie is round. Fiona is not quiet. All quiet people are rough. If Bob is round then Bob is big. All rough people are blue. If Fiona is smart and Fiona is young then Fiona is not round. Smart people are round. Quiet, rough people are round.
Charlie is round.
@0: Anne is round.[(triple1)] Bob is quiet.[(triple2)] Charlie is round.[(triple3)] Fiona is not quiet.[(triple4)] @1: Bob is rough.[(((triple2) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule1)) -> rule3))] Bob is round.[(((triple2 ((triple2) -> rule1)) -> rule6))] @3: Bob is big.[(((((triple2 ((triple2) -> rule1)) -> rule6)) -> rule2))]