Anne is cold. Anne is quiet. Anne is red. Anne is rough. Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is rough. All cold things are green.
Bob is not rough.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Bob is big.[(triple5)] Bob is cold.[(triple6)] Bob is green.[(triple7 OR ((triple6) -> rule1))] Bob is nice.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] @1: Anne is green.[(((triple1) -> rule1))]