Dave is not rough. Dave is round. Dave is white. Erin is green. Erin is not white. Fiona is green. Fiona is nice. Fiona is red. Fiona is not rough. Fiona is round. Fiona is not smart. Fiona is white. Gary is green. Gary is nice. Gary is round. Gary is white. All smart people are green. If someone is smart and rough then they are not green. All red people are green. If someone is smart and not red then they are white. If someone is nice then they are white. If someone is smart then they are round. If Fiona is smart and Fiona is not red then Fiona is not rough. If Dave is round and Dave is not red then Dave is not white.
Gary is not green.
@0: Dave is not rough.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] Erin is green.[(triple4)] Erin is not white.[(triple5)] Fiona is green.[(triple6 OR ((triple8) -> rule3))] Fiona is nice.[(triple7)] Fiona is not rough.[(triple9)] Fiona is not smart.[(triple11)] Fiona is red.[(triple8)] Fiona is round.[(triple10)] Fiona is white.[(triple12 OR ((triple7) -> rule5))] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is round.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule5))]