Anne is not big. Dave is big. Dave is cold. Dave is not white. Erin is kind. Erin is white. Harry is white. If Harry is kind then Harry is not green. If something is kind and big then it is white. Cold things are big. If something is nice and not kind then it is big. All furry things are big. If something is big and not nice then it is furry. Big, kind things are furry. If Erin is big then Erin is not white.
Erin is nice.
@0: Anne is not big.[(triple1)] Dave is big.[(triple2 OR ((triple3) -> rule3))] Dave is cold.[(triple3)] Dave is not white.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Harry is white.[(triple7)]