Charlie is furry. Charlie is not nice. Charlie is rough. Rough people are kind. If Charlie is kind then Charlie is quiet. If Charlie is nice and Charlie is white then Charlie is furry. If Charlie is nice then Charlie is rough. Cold people are rough. If Charlie is quiet and Charlie is nice then Charlie is not white. If Charlie is white and Charlie is kind then Charlie is nice. If someone is kind and not nice then they are furry.
Charlie is furry.
@0: Charlie is furry.[(triple1 OR ((((triple3) -> rule1) triple2) -> rule8))] Charlie is not nice.[(triple2)] Charlie is rough.[(triple3)] @1: Charlie is kind.[(((triple3) -> rule1))] @2: Charlie is quiet.[(((((triple3) -> rule1)) -> rule2))]