The bear sees the tiger. The tiger is cold. The tiger is kind. If something sees the tiger then it likes the bear. If the tiger sees the bear and the bear is blue then the bear is green. If something likes the bear then it likes the tiger. If something needs the tiger and the tiger is blue then it likes the tiger. If something sees the tiger then it does not see the bear. If the bear needs the tiger then the bear sees the tiger. If something is kind then it sees the tiger. If the tiger does not see the bear then the tiger is not green.
The bear is blue.
@0: The bear sees the tiger.[(triple1)] The tiger is cold.[(triple2)] The tiger is kind.[(triple3)] @1: The bear does not see the bear.[(((triple1) -> rule5))] The bear likes the bear.[(((triple1) -> rule1))] The tiger sees the tiger.[(((triple3) -> rule7))] @2: The bear likes the tiger.[(((((triple1) -> rule1)) -> rule3))] The tiger does not see the bear.[(((((triple3) -> rule7)) -> rule5))] The tiger likes the bear.[(((((triple3) -> rule7)) -> rule1))] @3: The tiger is not green.[(((((((triple3) -> rule7)) -> rule5)) -> rule8))] The tiger likes the tiger.[(((((((triple3) -> rule7)) -> rule1)) -> rule3))]