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