Anne is blue. Anne is white. Bob is quiet. Charlie is blue. Charlie is red. Charlie is round. Gary is nice. Gary is red. Gary is rough. Gary is round. Quiet things are nice. If something is rough then it is red. All blue things are white. Red things are white. Quiet, nice things are rough. If something is round then it is rough. If something is white then it is blue. If something is quiet and white then it is round. If Charlie is blue then Charlie is nice.
Charlie is not red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule7))] Anne is white.[(triple2 OR ((triple1) -> rule3))] Bob is quiet.[(triple3)] Charlie is blue.[(triple4 OR ((((triple5) -> rule4)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule4)) -> rule7))] Charlie is red.[(triple5 OR ((((triple6) -> rule6)) -> rule2))] Charlie is round.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8 OR ((triple9) -> rule2) OR ((((triple10) -> rule6)) -> rule2))] Gary is rough.[(triple9 OR ((triple10) -> rule6))] Gary is round.[(triple10)] @1: Bob is nice.[(((triple3) -> rule1))] Charlie is nice.[(((triple4) -> rule9) OR ((((((triple5) -> rule4)) -> rule7)) -> rule9) OR ((((((((((triple6) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule9))] Charlie is rough.[(((triple6) -> rule6))] Charlie is white.[(((triple4) -> rule3) OR ((triple5) -> rule4) OR ((((((triple6) -> rule6)) -> rule2)) -> rule4))] Gary is white.[(((triple8) -> rule4) OR ((((triple9) -> rule2)) -> rule4) OR ((((((triple10) -> rule6)) -> rule2)) -> rule4))] @2: Bob is rough.[(((triple3 ((triple3) -> rule1)) -> rule5))] Gary is blue.[(((((triple8) -> rule4)) -> rule7) OR ((((((triple9) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule4)) -> rule7))] @3: Bob is red.[(((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule2))] @4: Bob is white.[(((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule2)) -> rule4))] @5: Bob is blue.[(((((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule2)) -> rule4)) -> rule7))] Bob is round.[(((triple3 ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule2)) -> rule4)) -> rule8))]