Bob is not cold. Bob is kind. Bob is red. Charlie is cold. Charlie is kind. Dave is rough. Gary is kind. If someone is white then they are rough. Furry people are red. All rough people are white. If Gary is white then Gary is red. If Charlie is cold then Charlie is white. If Gary is kind then Gary is rough. If someone is rough and cold then they are furry. If someone is furry and not white then they are not nice.
Charlie is not nice.
@0: Bob is kind.[(triple2)] Bob is not cold.[(triple1)] Bob is red.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Dave is rough.[(triple6)] Gary is kind.[(triple7)] @1: Charlie is white.[(((triple4) -> rule5))] Dave is white.[(((triple6) -> rule3))] Gary is rough.[(((triple7) -> rule6))] @2: Charlie is rough.[(((((triple4) -> rule5)) -> rule1))] Gary is white.[(((((triple7) -> rule6)) -> rule3))] @3: Charlie is furry.[(((((((triple4) -> rule5)) -> rule1) triple4) -> rule7))] Gary is red.[(((((((triple7) -> rule6)) -> rule3)) -> rule4))] @4: Charlie is red.[(((((((((triple4) -> rule5)) -> rule1) triple4) -> rule7)) -> rule2))]