Charlie is big. Charlie is furry. Charlie is rough. Charlie is white. Charlie is young. Gary is big. Gary is furry. Gary is red. Gary is white. Gary is young. If something is rough and young then it is red. If Charlie is big then Charlie is red.
Gary is not rough.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is red.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Charlie is red.[(((triple1) -> rule2) OR ((triple3 triple5) -> rule1))]