Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is quiet. Charlie is blue. Charlie is furry. Charlie is quiet. Gary is green. Gary is quiet. Cold things are blue. Green things are cold.
Gary is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Anne is cold.[(triple3 OR ((triple4) -> rule2))] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is quiet.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10)] @1: Gary is cold.[(((triple9) -> rule2))] @2: Gary is blue.[(((((triple9) -> rule2)) -> rule1))]