Anne is blue. Anne is cold. Anne is furry. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is white. Bob is young. If Bob is furry then Bob is quiet.
Bob is green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is green.[(triple7)] Bob is quiet.[(triple8 OR ((triple6) -> rule1))] Bob is white.[(triple9)] Bob is young.[(triple10)]