Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is white. Charlie is blue. Charlie is cold. Charlie is nice. Gary is blue. Gary is cold. Gary is green. Gary is nice. Harry is big. Harry is cold. Harry is green. Harry is quiet. If Charlie is white then Charlie is nice. All big, green things are quiet. All white things are big. If Charlie is cold then Charlie is quiet. All quiet things are white. Quiet things are blue.
Charlie is not quiet.
@0: Anne is big.[(triple1 OR ((triple5) -> rule3))] Anne is blue.[(triple2 OR ((((triple1 triple3) -> rule2)) -> rule6) OR ((((((triple5) -> rule3) triple3) -> rule2)) -> rule6))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is white.[(triple5 OR ((((triple1 triple3) -> rule2)) -> rule5))] Charlie is blue.[(triple6 OR ((((triple7) -> rule4)) -> rule6))] Charlie is cold.[(triple7)] Charlie is nice.[(triple8 OR ((((((triple7) -> rule4)) -> rule5)) -> rule1))] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Harry is big.[(triple13 OR ((((triple16) -> rule5)) -> rule3))] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is quiet.[(triple16 OR ((triple13 triple15) -> rule2))] @1: Anne is quiet.[(((triple1 triple3) -> rule2) OR ((((triple5) -> rule3) triple3) -> rule2))] Charlie is quiet.[(((triple7) -> rule4))] Harry is blue.[(((triple16) -> rule6) OR ((((triple13 triple15) -> rule2)) -> rule6))] Harry is white.[(((triple16) -> rule5) OR ((((triple13 triple15) -> rule2)) -> rule5))] @2: Charlie is white.[(((((triple7) -> rule4)) -> rule5))] @3: Charlie is big.[(((((((triple7) -> rule4)) -> rule5)) -> rule3))]