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