Bob is kind. Bob is nice. Bob is round. Bob is smart. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is young. All kind people are nice. If Charlie is nice and Charlie is round then Charlie is smart. If someone is round then they are smart.
Charlie is not kind.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((triple1) -> rule1))] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule3))] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple9)] Erin is furry.[(triple10)] Erin is nice.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14 OR ((triple13) -> rule3))] Erin is young.[(triple15)] @1: Charlie is nice.[(((triple6) -> rule1))] Charlie is smart.[(((triple8) -> rule3) OR ((((triple6) -> rule1) triple8) -> rule2))]