Bob is furry. Bob is green. Bob is red. Bob is rough. Charlie is not big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is not rough. Charlie is smart. Red, green things are not nice. Big, nice things are furry. Big, rough things are green. If something is big and not red then it is not green. Smart things are not rough. All rough, nice things are not big.
Charlie is red.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Charlie is not big.[(triple5)] Charlie is not rough.[(triple9 OR ((triple10) -> rule5))] Charlie is smart.[(triple10)] @1: Bob is not nice.[(((triple3 triple2) -> rule1))]