Charlie is blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Erin is white. All blue things are kind. All smart things are round.
Erin is not smart.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple1) -> rule1))] Charlie is quiet.[(triple4)] Charlie is round.[(triple5 OR ((triple6) -> rule2))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] @1: Erin is round.[(((triple11) -> rule2))]