Bob is rough. Charlie is white. Dave is not white. Gary is big. If something is smart then it is kind. If something is white and not smart then it is kind. All big things are not kind. Furry things are green. All white things are furry. All rough things are not furry. All white, green things are furry. If Charlie is green and Charlie is not smart then Charlie is not big.
Charlie is not kind.
@0: Bob is rough.[(triple1)] Charlie is white.[(triple2)] Dave is not white.[(triple3)] Gary is big.[(triple4)] @1: Bob is not furry.[(((triple1) -> rule6))] Charlie is furry.[(((triple2) -> rule5))] Gary is not kind.[(((triple4) -> rule3))] @2: Charlie is green.[(((((triple2) -> rule5)) -> rule4))]