Charlie is not blue. Charlie is not cold. Charlie is not quiet. Charlie is not red. Charlie is rough. Charlie is young. Dave is young. Erin is cold. Erin is quiet. Erin is red. Erin is not rough. Gary is blue. Blue things are kind. All rough, red things are not young. If something is rough and not blue then it is young. If something is quiet and red then it is young. Blue, kind things are not quiet. If Erin is kind then Erin is quiet.
Erin is red.
@0: Charlie is not blue.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not red.[(triple4)] Charlie is rough.[(triple5)] Charlie is young.[(triple6 OR ((triple5 triple1) -> rule3))] Dave is young.[(triple7)] Erin is cold.[(triple8)] Erin is not rough.[(triple11)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Gary is blue.[(triple12)] @1: Erin is young.[(((triple9 triple10) -> rule4))] Gary is kind.[(((triple12) -> rule1))] @2: Gary is not quiet.[(((triple12 ((triple12) -> rule1)) -> rule5))]