Anne is big. Anne is kind. Anne is nice. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is not nice. Charlie is not young. Dave is not big. Dave is not cold. Dave is green. Dave is not nice. Gary is cold. Gary is nice. Gary is young. All young things are furry. If Dave is young then Dave is not furry. If Charlie is nice then Charlie is big. If Anne is green then Anne is not nice. Nice things are young. If Anne is furry and Anne is not young then Anne is kind. If something is nice and not big then it is kind. All young things are kind.
Dave is not furry.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((((triple3) -> rule5)) -> rule8))] Anne is nice.[(triple3)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is not furry.[(triple4)] Charlie is not nice.[(triple7)] Charlie is not young.[(triple8)] Dave is green.[(triple11)] Dave is not big.[(triple9)] Dave is not cold.[(triple10)] Dave is not nice.[(triple12)] Gary is cold.[(triple13)] Gary is nice.[(triple14)] Gary is young.[(triple15 OR ((triple14) -> rule5))] @1: Anne is young.[(((triple3) -> rule5))] Gary is furry.[(((triple15) -> rule1) OR ((((triple14) -> rule5)) -> rule1))] Gary is kind.[(((triple15) -> rule8) OR ((((triple14) -> rule5)) -> rule8))] @2: Anne is furry.[(((((triple3) -> rule5)) -> rule1))]