Anne is red. Charlie is furry. Dave is quiet. Gary is rough. All rough people are not blue. If someone is round and not furry then they are rough. If someone is red then they are round. Big people are quiet. If someone is red and not rough then they are not big. All round people are big.
Dave is quiet.
@0: Anne is red.[(triple1)] Charlie is furry.[(triple2)] Dave is quiet.[(triple3)] Gary is rough.[(triple4)] @1: Anne is round.[(((triple1) -> rule3))] Gary is not blue.[(((triple4) -> rule1))] @2: Anne is big.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is quiet.[(((((((triple1) -> rule3)) -> rule6)) -> rule4))]