Anne is kind. Anne is quiet. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is white. Harry is young. Nice, white people are kind. If Harry is red then Harry is nice. White people are kind. If someone is kind and quiet then they are young. Cold, nice people are red. If Gary is nice then Gary is cold. If someone is quiet and red then they are kind. White, kind people are nice.
Anne is not nice.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Gary is cold.[(triple3 OR ((triple5) -> rule6) OR ((((triple8 triple4) -> rule8)) -> rule6) OR ((((triple8 ((triple8) -> rule3)) -> rule8)) -> rule6) OR ((((triple8 ((triple6 triple7) -> rule7)) -> rule8)) -> rule6))] Gary is kind.[(triple4 OR ((triple8) -> rule3) OR ((triple5 triple8) -> rule1) OR ((triple6 triple7) -> rule7) OR ((triple6 ((triple3 triple5) -> rule5)) -> rule7) OR ((triple6 ((((triple5) -> rule6) triple5) -> rule5)) -> rule7))] Gary is nice.[(triple5 OR ((triple8 triple4) -> rule8) OR ((triple8 ((triple8) -> rule3)) -> rule8) OR ((triple8 ((triple6 triple7) -> rule7)) -> rule8))] Gary is quiet.[(triple6)] Gary is red.[(triple7 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple8 triple4) -> rule8)) -> rule5) OR ((((triple5) -> rule6) triple5) -> rule5) OR ((((triple5) -> rule6) ((triple8 triple4) -> rule8)) -> rule5) OR ((triple3 ((triple8 ((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8 triple4) -> rule8)) -> rule6) triple5) -> rule5) OR ((((triple5) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8 triple4) -> rule8)) -> rule6) ((triple8 triple4) -> rule8)) -> rule5) OR ((((((triple8 triple4) -> rule8)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8 ((triple8) -> rule3)) -> rule8)) -> rule6) triple5) -> rule5) OR ((((((triple8 ((triple8) -> rule3)) -> rule8)) -> rule6) ((triple8 triple4) -> rule8)) -> rule5) OR ((((((triple8 ((triple8) -> rule3)) -> rule8)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule8)) -> rule5))] Gary is white.[(triple8)] Gary is young.[(triple9 OR ((triple4 triple6) -> rule4) OR ((((triple8) -> rule3) triple6) -> rule4) OR ((((triple5 triple8) -> rule1) triple6) -> rule4) OR ((((triple6 triple7) -> rule7) triple6) -> rule4) OR ((((triple6 ((triple3 triple5) -> rule5)) -> rule7) triple6) -> rule4) OR ((((triple6 ((((triple5) -> rule6) triple5) -> rule5)) -> rule7) triple6) -> rule4))] Harry is cold.[(triple10)] Harry is kind.[(triple11 OR ((triple15) -> rule3) OR ((triple12 triple15) -> rule1) OR ((triple13 triple14) -> rule7) OR ((triple13 ((triple10 triple12) -> rule5)) -> rule7) OR ((((triple14) -> rule2) triple15) -> rule1))] Harry is nice.[(triple12 OR ((triple14) -> rule2) OR ((triple15 triple11) -> rule8) OR ((triple15 ((triple15) -> rule3)) -> rule8) OR ((triple15 ((triple13 triple14) -> rule7)) -> rule8))] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((triple10 triple12) -> rule5) OR ((triple10 ((triple15 triple11) -> rule8)) -> rule5) OR ((triple10 ((triple15 ((triple15) -> rule3)) -> rule8)) -> rule5))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple11 triple13) -> rule4) OR ((((triple15) -> rule3) triple13) -> rule4) OR ((((triple12 triple15) -> rule1) triple13) -> rule4) OR ((((triple13 triple14) -> rule7) triple13) -> rule4) OR ((((triple13 ((triple10 triple12) -> rule5)) -> rule7) triple13) -> rule4) OR ((((((triple14) -> rule2) triple15) -> rule1) triple13) -> rule4))] @1: Anne is young.[(((triple1 triple2) -> rule4))]