Anne is big. Anne is kind. Anne is red. Anne is young. Gary is big. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is young. All round, kind people are cold. If someone is young then they are round.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6 OR ((((triple10) -> rule2) triple7) -> rule1))] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Anne is round.[(((triple4) -> rule2))] Gary is round.[(((triple10) -> rule2))] @2: Anne is cold.[(((((triple4) -> rule2) triple2) -> rule1))]