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