Erin is big. Erin is not kind. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. Gary is big. Gary is not kind. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is young. If someone is red then they are quiet. Kind, young people are quiet. If someone is red and not kind then they are young. If someone is big and not red then they are smart. If someone is kind then they are not big. All big people are rough.
Gary is not quiet.
@0: Erin is big.[(triple1)] Erin is not kind.[(triple2)] Erin is quiet.[(triple3 OR ((triple4) -> rule1))] Erin is red.[(triple4)] Erin is rough.[(triple5 OR ((triple1) -> rule6))] Erin is smart.[(triple6)] Erin is young.[(triple7 OR ((triple4 triple2) -> rule3))] Gary is big.[(triple8)] Gary is not kind.[(triple9)] Gary is quiet.[(triple10 OR ((triple11) -> rule1))] Gary is red.[(triple11)] Gary is rough.[(triple12 OR ((triple8) -> rule6))] Gary is smart.[(triple13)] Gary is young.[(triple14 OR ((triple11 triple9) -> rule3))]