Charlie is round. Dave is not green. Erin is young. Gary is blue. If someone is young then they are white. If someone is green and blue then they are white. Round people are young. White people are not rough. If Erin is not round then Erin is rough. If someone is young then they are not quiet.
Charlie is not young.
@0: Charlie is round.[(triple1)] Dave is not green.[(triple2)] Erin is young.[(triple3)] Gary is blue.[(triple4)] @1: Charlie is young.[(((triple1) -> rule3))] Erin is not quiet.[(((triple3) -> rule6))] Erin is white.[(((triple3) -> rule1))] @2: Charlie is not quiet.[(((((triple1) -> rule3)) -> rule6))] Charlie is white.[(((((triple1) -> rule3)) -> rule1))] Erin is not rough.[(((((triple3) -> rule1)) -> rule4))] @3: Charlie is not rough.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]