Anne is furry. Anne is nice. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. Charlie is young. If someone is round then they are young. If Anne is blue and Anne is young then Anne is nice. Furry, round people are young. If someone is furry then they are white. If someone is blue and young then they are white. If someone is white then they are nice.
Charlie is nice.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple4) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((triple1) -> rule4))] Anne is young.[(triple5 OR ((triple3) -> rule1) OR ((triple1 triple3) -> rule3))] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9 OR ((triple11) -> rule6) OR ((((triple7) -> rule4)) -> rule6) OR ((((triple6 triple12) -> rule5)) -> rule6) OR ((((triple6 ((triple10) -> rule1)) -> rule5)) -> rule6) OR ((((triple6 ((triple7 triple10) -> rule3)) -> rule5)) -> rule6))] Charlie is round.[(triple10)] Charlie is white.[(triple11 OR ((triple7) -> rule4) OR ((triple6 triple12) -> rule5) OR ((triple6 ((triple10) -> rule1)) -> rule5) OR ((triple6 ((triple7 triple10) -> rule3)) -> rule5))] Charlie is young.[(triple12 OR ((triple10) -> rule1) OR ((triple7 triple10) -> rule3))]