Erin is green. Erin is kind. Erin is rough. Erin is young. Fiona is green. Fiona is not kind. Fiona is smart. Gary is green. Gary is not kind. Gary is nice. Gary is rough. Gary is young. Green people are young. Smart, nice people are kind. If someone is young and not smart then they are nice. If someone is young then they are rough. If Erin is quiet then Erin is green. If someone is quiet and kind then they are green.
Gary is not green.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is rough.[(triple3 OR ((triple4) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] Erin is young.[(triple4 OR ((triple1) -> rule1))] Fiona is green.[(triple5)] Fiona is not kind.[(triple6)] Fiona is smart.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple10)] Gary is not kind.[(triple9)] Gary is rough.[(triple11 OR ((triple12) -> rule4) OR ((((triple8) -> rule1)) -> rule4))] Gary is young.[(triple12 OR ((triple8) -> rule1))] @1: Fiona is young.[(((triple5) -> rule1))] @2: Fiona is rough.[(((((triple5) -> rule1)) -> rule4))]