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