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