Gary is big. Gary is blue. Gary is not kind. Gary is quiet. Gary is red. Gary is rough. Gary is not young. All kind people are rough. Big people are rough. Blue people are red. If someone is quiet then they are red. If Gary is not kind then Gary is blue. If Gary is big then Gary is quiet. If Gary is rough and Gary is big then Gary is quiet. If someone is blue and not quiet then they are young.
Gary is not young.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple3) -> rule5))] Gary is not kind.[(triple3)] Gary is not young.[(triple7)] Gary is quiet.[(triple4 OR ((triple1) -> rule6) OR ((triple6 triple1) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule7))] Gary is red.[(triple5 OR ((triple2) -> rule3) OR ((triple4) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple6 triple1) -> rule7)) -> rule4) OR ((((((triple1) -> rule2) triple1) -> rule7)) -> rule4))] Gary is rough.[(triple6 OR ((triple1) -> rule2))]