Charlie is blue. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is young. Gary is quiet. Gary is rough. Gary is smart. All kind people are smart. All young, smart people are green.
Gary is not green.
@0: Charlie is blue.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3 OR ((triple7 ((triple4) -> rule1)) -> rule2))] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9 OR ((triple13 triple12) -> rule2) OR ((triple13 ((triple10) -> rule1)) -> rule2))] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12 OR ((triple10) -> rule1))] Fiona is young.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Erin is smart.[(((triple4) -> rule1))]