Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is white. Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is red. If Bob is blue then Bob is kind.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is red.[(triple6)] Anne is white.[(triple7)] Bob is big.[(triple8)] Bob is blue.[(triple9)] Bob is furry.[(triple10)] Bob is kind.[(triple11 OR ((triple9) -> rule1))] Bob is red.[(triple12)]