Anne is kind. Anne is red. Dave is not big. Dave is not white. Erin is green. Erin is kind. Harry is white. If someone is cold and not kind then they are not green. Nice people are green. All nice people are cold. If someone is white then they are nice. If someone is kind then they are not nice. If someone is cold and nice then they are big. If someone is green and not red then they are big. If Erin is green and Erin is nice then Erin is big.
Harry is kind.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Dave is not big.[(triple3)] Dave is not white.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Harry is white.[(triple7)] @1: Anne is not nice.[(((triple1) -> rule5))] Erin is not nice.[(((triple6) -> rule5))] Harry is nice.[(((triple7) -> rule4))] @2: Harry is cold.[(((((triple7) -> rule4)) -> rule3))] Harry is green.[(((((triple7) -> rule4)) -> rule2))] @3: Harry is big.[(((((((triple7) -> rule4)) -> rule3) ((triple7) -> rule4)) -> rule6))]