Bob is big. Bob is furry. Bob is nice. Bob is rough. Bob is white. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Dave is furry. Dave is white. Gary is big. Gary is nice. Gary is quiet. Gary is red. Red people are quiet. All red, nice people are rough. Red people are nice. Red, nice people are white. All big, nice people are red. All rough, big people are furry.
Dave is not quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple4 triple1) -> rule6) OR ((((((triple1 triple3) -> rule5) triple3) -> rule2) triple1) -> rule6))] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((((triple1 triple3) -> rule5) triple3) -> rule2))] Bob is white.[(triple5 OR ((((triple1 triple3) -> rule5) triple3) -> rule4))] Charlie is furry.[(triple6)] Charlie is nice.[(triple7 OR ((triple9) -> rule3))] Charlie is quiet.[(triple8 OR ((triple9) -> rule1))] Charlie is red.[(triple9)] Charlie is white.[(triple10 OR ((triple9 triple7) -> rule4) OR ((triple9 ((triple9) -> rule3)) -> rule4))] Dave is furry.[(triple11)] Dave is white.[(triple12)] Gary is big.[(triple13)] Gary is nice.[(triple14 OR ((triple16) -> rule3))] Gary is quiet.[(triple15 OR ((triple16) -> rule1) OR ((((triple13 triple14) -> rule5)) -> rule1))] Gary is red.[(triple16 OR ((triple13 triple14) -> rule5))] @1: Bob is red.[(((triple1 triple3) -> rule5))] Charlie is rough.[(((triple9 triple7) -> rule2) OR ((triple9 ((triple9) -> rule3)) -> rule2))] Gary is rough.[(((triple16 triple14) -> rule2) OR ((triple16 ((triple16) -> rule3)) -> rule2) OR ((((triple13 triple14) -> rule5) triple14) -> rule2) OR ((((triple13 triple14) -> rule5) ((triple16) -> rule3)) -> rule2))] Gary is white.[(((triple16 triple14) -> rule4) OR ((triple16 ((triple16) -> rule3)) -> rule4) OR ((((triple13 triple14) -> rule5) triple14) -> rule4) OR ((((triple13 triple14) -> rule5) ((triple16) -> rule3)) -> rule4))] @2: Bob is quiet.[(((((triple1 triple3) -> rule5)) -> rule1))] Gary is furry.[(((((triple16 triple14) -> rule2) triple13) -> rule6) OR ((((triple16 ((triple16) -> rule3)) -> rule2) triple13) -> rule6) OR ((((((triple13 triple14) -> rule5) triple14) -> rule2) triple13) -> rule6) OR ((((((triple13 triple14) -> rule5) ((triple16) -> rule3)) -> rule2) triple13) -> rule6))]