Anne is big. Anne is blue. Anne is cold. Anne is quiet. Anne is round. Anne is young. Gary is blue. Harry is big. Harry is cold. Harry is young. Red people are young. Blue people are young. Young people are blue. If someone is cold then they are big. If someone is red and young then they are blue. All quiet people are red.
Gary is cold.
@0: Anne is big.[(triple1 OR ((triple3) -> rule4))] Anne is blue.[(triple2 OR ((triple6) -> rule3) OR ((((triple4) -> rule6) triple6) -> rule5) OR ((((((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule5))] Anne is cold.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6 OR ((triple2) -> rule2) OR ((((triple4) -> rule6)) -> rule1))] Gary is blue.[(triple7)] Harry is big.[(triple8 OR ((triple9) -> rule4))] Harry is cold.[(triple9)] Harry is young.[(triple10)] @1: Anne is red.[(((triple4) -> rule6))] Gary is young.[(((triple7) -> rule2))] Harry is blue.[(((triple10) -> rule3))]