Dave is nice. Erin is green. Fiona is rough. Gary is kind. All kind, quiet people are rough. All kind people are furry. If someone is green then they are not nice. If Gary is rough then Gary is not nice. If someone is furry then they are green. If someone is green then they are quiet.
Fiona is not kind.
@0: Dave is nice.[(triple1)] Erin is green.[(triple2)] Fiona is rough.[(triple3)] Gary is kind.[(triple4)] @1: Erin is not nice.[(((triple2) -> rule3))] Erin is quiet.[(((triple2) -> rule6))] Gary is furry.[(((triple4) -> rule2))] @2: Gary is green.[(((((triple4) -> rule2)) -> rule5))] @3: Gary is not nice.[(((((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((triple4 ((((((triple4) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule4))] Gary is quiet.[(((((((triple4) -> rule2)) -> rule5)) -> rule6))] @4: Gary is rough.[(((triple4 ((((((triple4) -> rule2)) -> rule5)) -> rule6)) -> rule1))]