Charlie is blue. Charlie is furry. Charlie is kind. Charlie is not quiet. Charlie is white. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is white. Harry is nice. Harry is white. All kind people are nice. If someone is white then they are blue. If someone is quiet and not white then they are not furry.
Harry is rough.
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule2))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is white.[(triple5)] Gary is blue.[(triple6 OR ((triple10) -> rule2))] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9 OR ((triple8) -> rule1))] Gary is white.[(triple10)] Harry is nice.[(triple11)] Harry is white.[(triple12)] @1: Charlie is nice.[(((triple3) -> rule1))] Harry is blue.[(((triple12) -> rule2))]