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