Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Erin is green. Erin is nice. Erin is rough. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is nice. If something is kind then it is big. If something is kind then it is blue. All green, big things are blue.
Erin is not big.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule1))] Charlie is blue.[(triple2 OR ((triple5) -> rule2) OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple5) -> rule1)) -> rule3))] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is rough.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is rough.[(triple10)] Gary is blue.[(triple11 OR ((triple14) -> rule2) OR ((triple13 ((triple14) -> rule1)) -> rule3))] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] @1: Gary is big.[(((triple14) -> rule1))]