Charlie is green. Charlie is kind. Charlie is nice. Charlie is young. Dave is blue. Dave is kind. Dave is nice. Dave is rough. Dave is not young. Erin is blue. Erin is kind. Erin is not nice. If someone is rough and not green then they are young. If someone is rough and young then they are blue. If Erin is young then Erin is red. If someone is young then they are kind. All nice people are rough. Green, red people are nice.
Erin is green.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule4))] Charlie is nice.[(triple3)] Charlie is young.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is not young.[(triple9)] Dave is rough.[(triple8 OR ((triple7) -> rule5))] Erin is blue.[(triple10)] Erin is kind.[(triple11)] Erin is not nice.[(triple12)] @1: Charlie is rough.[(((triple3) -> rule5))] @2: Charlie is blue.[(((((triple3) -> rule5) triple4) -> rule2))]