Anne is big. Charlie is not big. Gary is not rough. All big things are quiet. All round things are quiet. All quiet things are round. Rough things are red. All big things are red. If something is big and round then it is rough.
Anne is rough.
@0: Anne is big.[(triple1)] Charlie is not big.[(triple2)] Gary is not rough.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule1))] Anne is red.[(((triple1) -> rule5) OR ((((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule6)) -> rule4))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule3))] @3: Anne is rough.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule6))]