Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Green things are blue.
Bob is not quiet.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is rough.[(triple7)] Bob is blue.[(triple8 OR ((triple9) -> rule1))] Bob is green.[(triple9)] Bob is kind.[(triple10)] Bob is nice.[(triple11)] Bob is quiet.[(triple12)] Bob is red.[(triple13)] Bob is rough.[(triple14)]