Dave is big. Dave is green. Dave is not kind. Dave is nice. Erin is not smart. Fiona is smart. Gary is nice. Green, quiet people are not big. If someone is quiet and not green then they are kind. If someone is smart and not nice then they are kind. If someone is big and not smart then they are quiet. All kind people are rough. Nice people are not rough. If Dave is rough and Dave is smart then Dave is big. If Dave is not green then Dave is not quiet.
Fiona is green.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple4)] Dave is not kind.[(triple3)] Erin is not smart.[(triple5)] Fiona is smart.[(triple6)] Gary is nice.[(triple7)] @1: Dave is not rough.[(((triple4) -> rule6))] Gary is not rough.[(((triple7) -> rule6))]