Anne is cold. Anne is kind. Anne is round. Anne is not smart. Charlie is young. Gary is kind. Gary is round. Harry is blue. Harry is not cold. Harry is young. If someone is kind and young then they are not quiet. If someone is cold and not kind then they are not blue. If someone is round then they are blue. If someone is cold then they are young. If someone is kind and blue then they are cold. If Gary is not quiet then Gary is smart.
Charlie is blue.
@0: Anne is cold.[(triple1 OR ((triple2 ((triple3) -> rule3)) -> rule5))] Anne is kind.[(triple2)] Anne is not smart.[(triple4)] Anne is round.[(triple3)] Charlie is young.[(triple5)] Gary is kind.[(triple6)] Gary is round.[(triple7)] Harry is blue.[(triple8)] Harry is not cold.[(triple9)] Harry is young.[(triple10)] @1: Anne is blue.[(((triple3) -> rule3))] Anne is young.[(((triple1) -> rule4) OR ((((triple2 ((triple3) -> rule3)) -> rule5)) -> rule4))] Gary is blue.[(((triple7) -> rule3))] @2: Anne is not quiet.[(((triple2 ((triple1) -> rule4)) -> rule1) OR ((triple2 ((((triple2 ((triple3) -> rule3)) -> rule5)) -> rule4)) -> rule1))] Gary is cold.[(((triple6 ((triple7) -> rule3)) -> rule5))] @3: Gary is young.[(((((triple6 ((triple7) -> rule3)) -> rule5)) -> rule4))] @4: Gary is not quiet.[(((triple6 ((((triple6 ((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule1))] @5: Gary is smart.[(((((triple6 ((((triple6 ((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule1)) -> rule6))]