Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is red. If Gary is blue then Gary is kind. If Gary is red and Gary is kind then Gary is nice. Green, nice people are rough. If Gary is nice and Gary is blue then Gary is big. If someone is green and big then they are nice. If Charlie is rough and Charlie is big then Charlie is blue.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple2 triple1) -> rule5))] Charlie is red.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9 OR ((triple10 triple8) -> rule2) OR ((triple7 triple6) -> rule5))] Gary is red.[(triple10)] @1: Charlie is rough.[(((triple2 triple4) -> rule3) OR ((triple2 ((triple2 triple1) -> rule5)) -> rule3))] Gary is rough.[(((triple7 triple9) -> rule3) OR ((triple7 ((triple10 triple8) -> rule2)) -> rule3) OR ((triple7 ((triple7 triple6) -> rule5)) -> rule3))] @2: Charlie is blue.[(((((triple2 triple4) -> rule3) triple1) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule5)) -> rule3) triple1) -> rule6))]