Anne is quiet. Anne is red. Anne is smart. If someone is red then they are smart. Cold people are smart. Cold, smart people are round. If Anne is red and Anne is smart then Anne is young. If someone is kind and young then they are smart. All round people are smart. If Anne is cold and Anne is round then Anne is red. All kind, quiet people are cold.
Anne is not round.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3 OR ((triple2) -> rule1))] @1: Anne is young.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple2) -> rule1)) -> rule4))]