Bob is not furry. Bob is kind. Charlie is blue. Charlie is not kind. Erin is not cold. Gary is blue. Gary is not cold. If something is furry then it is blue. If Gary is cold then Gary is not rough. All quiet things are cold. Cold things are big. If Bob is quiet and Bob is furry then Bob is kind. Kind things are quiet. If something is furry and not blue then it is kind. If something is rough and not furry then it is kind.
Gary is cold.
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Charlie is blue.[(triple3)] Charlie is not kind.[(triple4)] Erin is not cold.[(triple5)] Gary is blue.[(triple6)] Gary is not cold.[(triple7)] @1: Bob is quiet.[(((triple2) -> rule6))] @2: Bob is cold.[(((((triple2) -> rule6)) -> rule3))] @3: Bob is big.[(((((((triple2) -> rule6)) -> rule3)) -> rule4))]