Charlie is red. Dave is furry. Dave is kind. Dave is not nice. Gary is furry. Gary is kind. Gary is rough. If Gary is rough then Gary is furry. All red, rough things are furry. If Gary is green and Gary is kind then Gary is rough. Nice, red things are cold. Red things are nice. All furry, kind things are not nice. If something is red and nice then it is rough. If something is green and nice then it is rough.
Charlie is furry.
@0: Charlie is red.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is not nice.[(triple4 OR ((triple2 triple3) -> rule6))] Gary is furry.[(triple5 OR ((triple7) -> rule1))] Gary is kind.[(triple6)] Gary is rough.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule5))] Gary is not nice.[(((triple5 triple6) -> rule6) OR ((((triple7) -> rule1) triple6) -> rule6))] @2: Charlie is cold.[(((((triple1) -> rule5) triple1) -> rule4))] Charlie is rough.[(((triple1 ((triple1) -> rule5)) -> rule7))] @3: Charlie is furry.[(((triple1 ((triple1 ((triple1) -> rule5)) -> rule7)) -> rule2))]