Bob is furry. Bob is not nice. Bob is not red. Bob is not smart. Charlie is blue. Charlie is red. Charlie is smart. Charlie is not white. Gary is big. Gary is smart. If someone is white then they are red. If someone is big then they are white. Red, smart people are blue.
Bob is nice.
@0: Bob is furry.[(triple1)] Bob is not nice.[(triple2)] Bob is not red.[(triple3)] Bob is not smart.[(triple4)] Charlie is blue.[(triple5 OR ((triple6 triple7) -> rule3))] Charlie is not white.[(triple8)] Charlie is red.[(triple6)] Charlie is smart.[(triple7)] Gary is big.[(triple9)] Gary is smart.[(triple10)] @1: Gary is white.[(((triple9) -> rule2))] @2: Gary is red.[(((((triple9) -> rule2)) -> rule1))] @3: Gary is blue.[(((((((triple9) -> rule2)) -> rule1) triple10) -> rule3))]