Anne is green. Anne is quiet. Bob is blue. Bob is green. Charlie is cold. Gary is big. Gary is blue. Blue things are quiet. Big things are quiet. Quiet, big things are rough. Cold things are rough. If something is cold then it is blue. If something is rough and quiet then it is cold.
Anne is not red.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3)] Bob is green.[(triple4)] Charlie is cold.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7 OR ((((((((triple6) -> rule2) triple6) -> rule3) ((triple6) -> rule2)) -> rule6)) -> rule5))] @1: Bob is quiet.[(((triple3) -> rule1))] Charlie is blue.[(((triple5) -> rule5))] Charlie is rough.[(((triple5) -> rule4))] Gary is quiet.[(((triple6) -> rule2) OR ((triple7) -> rule1))] @2: Charlie is quiet.[(((((triple5) -> rule5)) -> rule1))] Gary is rough.[(((((triple6) -> rule2) triple6) -> rule3) OR ((((triple7) -> rule1) triple6) -> rule3))] @3: Gary is cold.[(((((((triple6) -> rule2) triple6) -> rule3) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2) triple6) -> rule3) ((triple7) -> rule1)) -> rule6) OR ((((((triple7) -> rule1) triple6) -> rule3) ((triple6) -> rule2)) -> rule6) OR ((((((triple7) -> rule1) triple6) -> rule3) ((triple7) -> rule1)) -> rule6))]