Charlie is big. Charlie is green. Charlie is young. Dave is green. Dave is kind. Dave is not red. Dave is rough. Erin is big. Erin is nice. Gary is big. Gary is not kind. Gary is young. If someone is kind then they are not nice. All big people are nice. Kind, big people are not young. If someone is green and not rough then they are young. Rough people are not young. Nice people are red. Red people are green. If Erin is green and Erin is nice then Erin is red.
Gary is green.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2 OR ((((((triple1) -> rule2)) -> rule6)) -> rule7))] Charlie is young.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is not red.[(triple6)] Dave is rough.[(triple7)] Erin is big.[(triple8)] Erin is nice.[(triple9 OR ((triple8) -> rule2))] Gary is big.[(triple10)] Gary is not kind.[(triple11)] Gary is young.[(triple12)] @1: Charlie is nice.[(((triple1) -> rule2))] Dave is not nice.[(((triple5) -> rule1))] Dave is not young.[(((triple7) -> rule5))] Erin is red.[(((triple9) -> rule6) OR ((((triple8) -> rule2)) -> rule6))] Gary is nice.[(((triple10) -> rule2))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule6))] Erin is green.[(((((triple9) -> rule6)) -> rule7) OR ((((((triple8) -> rule2)) -> rule6)) -> rule7))] Gary is red.[(((((triple10) -> rule2)) -> rule6))] @3: Gary is green.[(((((((triple10) -> rule2)) -> rule6)) -> rule7))]