Charlie is furry. Charlie is rough. Charlie is white. All furry people are nice. If someone is white and rough then they are furry. If Charlie is nice and Charlie is furry then Charlie is white.
Charlie is not nice.
@0: Charlie is furry.[(triple1 OR ((triple3 triple2) -> rule2))] Charlie is rough.[(triple2)] Charlie is white.[(triple3 OR ((((triple1) -> rule1) triple1) -> rule3))] @1: Charlie is nice.[(((triple1) -> rule1) OR ((((triple3 triple2) -> rule2)) -> rule1))]