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