Charlie is green. Charlie is red. Dave is red. Dave is not round. Dave is white. Dave is not young. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is white. Gary is young. All red things are not quiet. If something is green then it is round. If something is green then it is white. If something is young and not green then it is white. Young things are rough. If something is round and not quiet then it is young.
Charlie is rough.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Dave is not round.[(triple4)] Dave is not young.[(triple6)] Dave is red.[(triple3)] Dave is white.[(triple5)] Gary is green.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9 OR ((triple12) -> rule5) OR ((((triple10 ((triple8) -> rule1)) -> rule6)) -> rule5) OR ((((((triple7) -> rule2) ((triple8) -> rule1)) -> rule6)) -> rule5))] Gary is round.[(triple10 OR ((triple7) -> rule2))] Gary is white.[(triple11 OR ((triple7) -> rule3))] Gary is young.[(triple12 OR ((triple10 ((triple8) -> rule1)) -> rule6) OR ((((triple7) -> rule2) ((triple8) -> rule1)) -> rule6))] @1: Charlie is not quiet.[(((triple2) -> rule1))] Charlie is round.[(((triple1) -> rule2))] Charlie is white.[(((triple1) -> rule3))] Dave is not quiet.[(((triple3) -> rule1))] Gary is not quiet.[(((triple8) -> rule1))] @2: Charlie is young.[(((((triple1) -> rule2) ((triple2) -> rule1)) -> rule6))] @3: Charlie is rough.[(((((((triple1) -> rule2) ((triple2) -> rule1)) -> rule6)) -> rule5))]