Bob is cold. Bob is furry. Charlie is big. Charlie is not cold. Charlie is quiet. Charlie is not round. Charlie is smart. Erin is big. Erin is cold. Erin is furry. Gary is big. Gary is furry. Gary is not kind. Gary is not round. Gary is smart. Round people are not quiet. If someone is furry and not kind then they are not quiet. Quiet, cold people are round. If Erin is big then Erin is furry. If someone is quiet then they are furry. Round people are not cold.
Erin is not round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Charlie is big.[(triple3)] Charlie is not cold.[(triple4)] Charlie is not round.[(triple6)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is furry.[(triple10 OR ((triple8) -> rule4))] Gary is big.[(triple11)] Gary is furry.[(triple12)] Gary is not kind.[(triple13)] Gary is not round.[(triple14)] Gary is smart.[(triple15)] @1: Charlie is furry.[(((triple5) -> rule5))] Gary is not quiet.[(((triple12 triple13) -> rule2))]