Dave is quiet. Dave is smart. Gary is blue. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. All blue people are smart. All nice, rough people are quiet. If someone is kind then they are white. All rough people are nice. If Gary is nice then Gary is quiet. If someone is nice then they are smart.
Dave is quiet.
@0: Dave is quiet.[(triple1)] Dave is smart.[(triple2)] Gary is blue.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5 OR ((triple7) -> rule4))] Gary is quiet.[(triple6 OR ((triple5) -> rule5) OR ((triple5 triple7) -> rule2) OR ((((triple7) -> rule4)) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule2))] Gary is rough.[(triple7)] @1: Gary is smart.[(((triple3) -> rule1) OR ((triple5) -> rule6) OR ((((triple7) -> rule4)) -> rule6))] Gary is white.[(((triple4) -> rule3))]