Bob is red. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Dave is blue. Erin is green. Green people are young. If Dave is blue and Dave is rough then Dave is green. If someone is blue then they are red. All white people are young. If someone is green and round then they are red. All round, green people are blue.
Erin is not blue.
@0: Bob is red.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3 OR ((triple2 triple5) -> rule5) OR ((((triple5 triple2) -> rule6)) -> rule3))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Dave is blue.[(triple6)] Erin is green.[(triple7)] @1: Charlie is blue.[(((triple5 triple2) -> rule6))] Charlie is young.[(((triple2) -> rule1))] Dave is red.[(((triple6) -> rule3))] Erin is young.[(((triple7) -> rule1))]