Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. If Charlie is rough and Charlie is white then Charlie is young. If something is red and furry then it is young. All red, furry things are nice. If Anne is white and Anne is kind then Anne is nice. If Anne is kind and Anne is rough then Anne is red. All furry things are rough. If something is furry and young then it is kind. If Charlie is red then Charlie is kind.
Charlie is not young.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple1 triple7) -> rule7) OR ((triple1 ((triple4 triple1) -> rule2)) -> rule7))] Anne is nice.[(triple3 OR ((triple4 triple1) -> rule3) OR ((triple6 triple2) -> rule4) OR ((triple6 ((triple1 triple7) -> rule7)) -> rule4) OR ((((triple2 triple5) -> rule5) triple1) -> rule3) OR ((triple6 ((triple1 ((triple4 triple1) -> rule2)) -> rule7)) -> rule4) OR ((((triple2 ((triple1) -> rule6)) -> rule5) triple1) -> rule3) OR ((((((triple1 triple7) -> rule7) triple5) -> rule5) triple1) -> rule3) OR ((((((triple1 triple7) -> rule7) ((triple1) -> rule6)) -> rule5) triple1) -> rule3))] Anne is red.[(triple4 OR ((triple2 triple5) -> rule5) OR ((triple2 ((triple1) -> rule6)) -> rule5) OR ((((triple1 triple7) -> rule7) triple5) -> rule5) OR ((((triple1 triple7) -> rule7) ((triple1) -> rule6)) -> rule5))] Anne is rough.[(triple5 OR ((triple1) -> rule6))] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple4 triple1) -> rule2) OR ((((triple2 triple5) -> rule5) triple1) -> rule2) OR ((((triple2 ((triple1) -> rule6)) -> rule5) triple1) -> rule2))] Charlie is kind.[(triple8)] Charlie is nice.[(triple9)] Charlie is rough.[(triple10)] Charlie is white.[(triple11)] Charlie is young.[(triple12 OR ((triple10 triple11) -> rule1))]