Charlie is blue. Charlie is not furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. All furry people are red. Blue people are nice. Furry, round people are blue. All green, nice people are blue. If someone is nice and not green then they are not furry. All blue, nice people are rough.
Charlie is not furry.
@0: Charlie is blue.[(triple1 OR ((triple3 triple4) -> rule4))] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple1) -> rule2))] Charlie is not furry.[(triple2)] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple1) -> rule2)) -> rule6) OR ((((triple3 triple4) -> rule4) triple4) -> rule6) OR ((((triple3 triple4) -> rule4) ((triple1) -> rule2)) -> rule6))] Charlie is round.[(triple7)]