Bob is round. Charlie is big. Charlie is kind. Charlie is quiet. Erin is blue. Erin is kind. Erin is round. Erin is smart. Gary is furry. Gary is kind. Gary is quiet. Gary is smart. If someone is big and smart then they are furry. If Gary is blue then Gary is big. If someone is round and furry then they are kind. All big, blue people are furry. All smart people are quiet. Kind people are smart. All furry, kind people are smart. If Gary is blue and Gary is furry then Gary is smart.
Erin is not quiet.
@0: Bob is round.[(triple1)] Charlie is big.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((((triple3) -> rule6)) -> rule5))] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple6) -> rule6))] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11 OR ((triple12) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((triple9 triple10) -> rule7)) -> rule5))] Gary is smart.[(triple12 OR ((triple10) -> rule6) OR ((triple9 triple10) -> rule7))] @1: Charlie is smart.[(((triple3) -> rule6))] Erin is quiet.[(((triple8) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] @2: Charlie is furry.[(((triple2 ((triple3) -> rule6)) -> rule1))]