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