Dave is quiet. Erin is not blue. Erin is green. Erin is quiet. Fiona is rough. Fiona is young. Gary is blue. If something is quiet then it is red. All young things are red. If something is blue then it is rough. All green things are quiet. Kind, red things are not quiet. If Gary is red and Gary is quiet then Gary is young. If something is blue and rough then it is green. If something is blue and kind then it is not green.
Gary is quiet.
@0: Dave is quiet.[(triple1)] Erin is green.[(triple3)] Erin is not blue.[(triple2)] Erin is quiet.[(triple4 OR ((triple3) -> rule4))] Fiona is rough.[(triple5)] Fiona is young.[(triple6)] Gary is blue.[(triple7)] @1: Dave is red.[(((triple1) -> rule1))] Erin is red.[(((triple4) -> rule1) OR ((((triple3) -> rule4)) -> rule1))] Fiona is red.[(((triple6) -> rule2))] Gary is rough.[(((triple7) -> rule3))] @2: Gary is green.[(((triple7 ((triple7) -> rule3)) -> rule7))] @3: Gary is quiet.[(((((triple7 ((triple7) -> rule3)) -> rule7)) -> rule4))] @4: Gary is red.[(((((((triple7 ((triple7) -> rule3)) -> rule7)) -> rule4)) -> rule1))] @5: Gary is young.[(((((((((triple7 ((triple7) -> rule3)) -> rule7)) -> rule4)) -> rule1) ((((triple7 ((triple7) -> rule3)) -> rule7)) -> rule4)) -> rule6))]