Bob is blue. Bob is kind. Bob is red. Charlie is nice. Erin is kind. Erin is red. Gary is blue. If something is quiet and cold then it is rough. Cold things are quiet. If something is kind then it is red. All nice things are quiet. Nice, rough things are kind. If Bob is cold then Bob is kind. If Bob is quiet and Bob is blue then Bob is nice. All quiet, kind things are blue. All quiet things are cold.
Charlie is not blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3 OR ((triple2) -> rule3))] Charlie is nice.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6 OR ((triple5) -> rule3))] Gary is blue.[(triple7)] @1: Charlie is quiet.[(((triple4) -> rule4))] @2: Charlie is cold.[(((((triple4) -> rule4)) -> rule9))] @3: Charlie is rough.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule9)) -> rule1))] @4: Charlie is kind.[(((triple4 ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule9)) -> rule1)) -> rule5))] @5: Charlie is blue.[(((((triple4) -> rule4) ((triple4 ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule9)) -> rule1)) -> rule5)) -> rule8))] Charlie is red.[(((((triple4 ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule9)) -> rule1)) -> rule5)) -> rule3))]