Dave is green. Dave is nice. Dave is rough. Dave is round. Erin is not green. Erin is not kind. Erin is quiet. Erin is rough. Erin is round. Erin is white. Fiona is nice. Fiona is not rough. Fiona is not round. Gary is nice. Gary is round. If someone is green then they are nice. If Fiona is green and Fiona is round then Fiona is quiet. If Gary is not round then Gary is quiet. If Gary is nice then Gary is quiet. Round people are not kind. If someone is round and not nice then they are kind. If someone is quiet and not nice then they are not rough. White people are rough.
Dave is white.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2 OR ((triple1) -> rule1))] Dave is rough.[(triple3)] Dave is round.[(triple4)] Erin is not green.[(triple5)] Erin is not kind.[(triple6 OR ((triple9) -> rule5))] Erin is quiet.[(triple7)] Erin is rough.[(triple8 OR ((triple10) -> rule8))] Erin is round.[(triple9)] Erin is white.[(triple10)] Fiona is nice.[(triple11)] Fiona is not rough.[(triple12)] Fiona is not round.[(triple13)] Gary is nice.[(triple14)] Gary is round.[(triple15)] @1: Dave is not kind.[(((triple4) -> rule5))] Gary is not kind.[(((triple15) -> rule5))] Gary is quiet.[(((triple14) -> rule4))]