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