Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is not nice. Anne is not quiet. Bob is blue. Bob is cold. Bob is nice. Bob is quiet. If something is nice and green then it is quiet. If Anne is green then Anne is kind. If something is quiet and not cold then it is white.
Bob is green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple3) -> rule2))] Anne is not nice.[(triple5)] Anne is not quiet.[(triple6)] Bob is blue.[(triple7)] Bob is cold.[(triple8)] Bob is nice.[(triple9)] Bob is quiet.[(triple10)]