Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is white. If Anne is kind and Anne is green then Anne is quiet. If Anne is green then Anne is quiet. Quiet things are kind.
Anne is not green.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Anne is quiet.[(triple4 OR ((triple2) -> rule2) OR ((triple3 triple2) -> rule1))] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Bob is cold.[(triple8)] Bob is green.[(triple9)] Bob is kind.[(triple10 OR ((triple11) -> rule3))] Bob is quiet.[(triple11)] Bob is rough.[(triple12)] Bob is smart.[(triple13)] Bob is white.[(triple14)]