Bob is rough. Dave is nice. Dave is rough. Fiona is green. Fiona is quiet. Fiona is not smart. Gary is not nice. Gary is quiet. Gary is round. Gary is not smart. All rough people are nice. If Gary is green and Gary is not white then Gary is quiet. All white, smart people are quiet. If someone is white then they are not quiet. If someone is white and nice then they are rough. All white people are smart.
Dave is not rough.
@0: Bob is rough.[(triple1)] Dave is nice.[(triple2 OR ((triple3) -> rule1))] Dave is rough.[(triple3)] Fiona is green.[(triple4)] Fiona is not smart.[(triple6)] Fiona is quiet.[(triple5)] Gary is not nice.[(triple7)] Gary is not smart.[(triple10)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] @1: Bob is nice.[(((triple1) -> rule1))]