Anne is smart. Dave is rough. Fiona is round. All smart people are round. If someone is smart and round then they are big. Rough people are big. If Anne is big then Anne is quiet. Big, quiet people are round. Red people are big.
Dave is not round.
@0: Anne is smart.[(triple1)] Dave is rough.[(triple2)] Fiona is round.[(triple3)] @1: Anne is round.[(((triple1) -> rule1))] Dave is big.[(((triple2) -> rule3))] @2: Anne is big.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: Anne is quiet.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule4))]