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