Charlie is green. Charlie is nice. Charlie is red. Charlie is young. Dave is green. Dave is young. Erin is not green. Erin is nice. Erin is red. Erin is round. Erin is not young. Gary is green. Gary is nice. Gary is rough. Gary is round. Gary is young. All red, round people are nice. Green people are nice. Nice, young people are big. All green people are red. If Gary is green and Gary is not nice then Gary is big. If Gary is nice and Gary is not red then Gary is big.
Erin is not nice.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2 OR ((triple1) -> rule2))] Charlie is red.[(triple3 OR ((triple1) -> rule4))] Charlie is young.[(triple4)] Dave is green.[(triple5)] Dave is young.[(triple6)] Erin is nice.[(triple8 OR ((triple9 triple10) -> rule1))] Erin is not green.[(triple7)] Erin is not young.[(triple11)] Erin is red.[(triple9)] Erin is round.[(triple10)] Gary is green.[(triple12)] Gary is nice.[(triple13 OR ((triple12) -> rule2) OR ((((triple12) -> rule4) triple15) -> rule1))] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Charlie is big.[(((triple2 triple4) -> rule3) OR ((((triple1) -> rule2) triple4) -> rule3))] Dave is nice.[(((triple5) -> rule2))] Dave is red.[(((triple5) -> rule4))] Gary is big.[(((triple13 triple16) -> rule3) OR ((((triple12) -> rule2) triple16) -> rule3) OR ((((((triple12) -> rule4) triple15) -> rule1) triple16) -> rule3))] Gary is red.[(((triple12) -> rule4))] @2: Dave is big.[(((((triple5) -> rule2) triple6) -> rule3))]