Anne is kind. Charlie is red. Gary is young. Harry is kind. If someone is kind then they are red. If Anne is quiet and Anne is red then Anne is smart. If someone is red then they are quiet.
Gary is quiet.
@0: Anne is kind.[(triple1)] Charlie is red.[(triple2)] Gary is young.[(triple3)] Harry is kind.[(triple4)] @1: Anne is red.[(((triple1) -> rule1))] Charlie is quiet.[(((triple2) -> rule3))] Harry is red.[(((triple4) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule1)) -> rule3))] Harry is quiet.[(((((triple4) -> rule1)) -> rule3))] @3: Anne is smart.[(((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule2))]