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