Charlie is quiet. Charlie is round. Charlie is young. Dave is red. Dave is rough. Dave is round. Erin is blue. Erin is kind. Erin is red. Erin is round. Erin is young. Gary is blue. Gary is kind. Gary is quiet. Gary is red. All young people are kind. If someone is kind then they are red.
Gary is not young.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Erin is blue.[(triple7)] Erin is kind.[(triple8 OR ((triple11) -> rule1))] Erin is red.[(triple9 OR ((triple8) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Erin is round.[(triple10)] Erin is young.[(triple11)] Gary is blue.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15 OR ((triple13) -> rule2))] @1: Charlie is kind.[(((triple3) -> rule1))] @2: Charlie is red.[(((((triple3) -> rule1)) -> rule2))]