Anne is kind. Anne is quiet. Anne is smart. Anne is white. Bob is cold. Bob is green. Bob is kind. Bob is white. Bob is young. Erin is cold. Erin is green. Erin is quiet. Erin is white. Erin is young. Harry is quiet. Harry is smart. White things are smart. If something is kind and white then it is green.
Erin is not kind.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3 OR ((triple4) -> rule1))] Anne is white.[(triple4)] Bob is cold.[(triple5)] Bob is green.[(triple6 OR ((triple7 triple8) -> rule2))] Bob is kind.[(triple7)] Bob is white.[(triple8)] Bob is young.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is quiet.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16)] @1: Anne is green.[(((triple1 triple4) -> rule2))] Bob is smart.[(((triple8) -> rule1))] Erin is smart.[(((triple13) -> rule1))]