Bob is nice. Bob is not quiet. Bob is red. Bob is rough. Bob is not white. Dave is big. Dave is quiet. Dave is not white. Gary is not big. Gary is green. Gary is quiet. Gary is not white. If Dave is nice then Dave is red. All quiet things are green. If something is white and green then it is quiet. If something is quiet then it is nice. If something is red and not green then it is rough. If something is red then it is rough.
Dave is rough.
@0: Bob is nice.[(triple1)] Bob is not quiet.[(triple2)] Bob is not white.[(triple5)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule6))] Dave is big.[(triple6)] Dave is not white.[(triple8)] Dave is quiet.[(triple7)] Gary is green.[(triple10 OR ((triple11) -> rule2))] Gary is not big.[(triple9)] Gary is not white.[(triple12)] Gary is quiet.[(triple11)] @1: Dave is green.[(((triple7) -> rule2))] Dave is nice.[(((triple7) -> rule4))] Gary is nice.[(((triple11) -> rule4))] @2: Dave is red.[(((((triple7) -> rule4)) -> rule1))] @3: Dave is rough.[(((((((triple7) -> rule4)) -> rule1)) -> rule6))]