Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. If Charlie is furry then Charlie is quiet. Furry people are round. If Charlie is rough then Charlie is round. If Charlie is furry then Charlie is green. All kind, green people are round. If Charlie is green and Charlie is furry then Charlie is rough.
Charlie is not round.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple1) -> rule4))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple1) -> rule1))] Charlie is rough.[(triple6 OR ((triple2 triple1) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6))] Charlie is round.[(triple7 OR ((triple1) -> rule2) OR ((triple6) -> rule3) OR ((triple3 triple2) -> rule5) OR ((((triple2 triple1) -> rule6)) -> rule3) OR ((triple3 ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6)) -> rule3))]