Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. If something is young and quiet then it is furry. Furry things are round.
Charlie is not furry.
@0: Anne is furry.[(triple1 OR ((triple7 triple2) -> rule1))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple1) -> rule2) OR ((((triple7 triple2) -> rule1)) -> rule2))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Charlie is furry.[(triple8 OR ((triple14 triple9) -> rule1))] Charlie is quiet.[(triple9)] Charlie is red.[(triple10)] Charlie is rough.[(triple11)] Charlie is round.[(triple12 OR ((triple8) -> rule2) OR ((((triple14 triple9) -> rule1)) -> rule2))] Charlie is smart.[(triple13)] Charlie is young.[(triple14)]