Anne is furry. Anne is rough. Anne is not white. Bob is green. Bob is rough. Bob is smart. Charlie is big. Charlie is nice. Gary is not big. Gary is furry. Gary is not nice. Gary is not smart. If someone is white then they are not nice. If someone is big and not green then they are not nice. Big, green people are smart. White people are smart. If someone is big then they are furry. Rough, white people are furry. All nice, white people are furry. If Anne is green then Anne is white.
Charlie is rough.
@0: Anne is furry.[(triple1)] Anne is not white.[(triple3)] Anne is rough.[(triple2)] Bob is green.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Charlie is big.[(triple7)] Charlie is nice.[(triple8)] Gary is furry.[(triple10)] Gary is not big.[(triple9)] Gary is not nice.[(triple11)] Gary is not smart.[(triple12)] @1: Charlie is furry.[(((triple7) -> rule5))]