The bear is nice. The tiger likes the bear. If something likes the bear then it sees the tiger. If something is green and it sees the bear then it likes the tiger. Green things are nice. If something is nice then it sees the bear. If something likes the bear then it is rough. If something likes the tiger and it is not blue then it does not like the bear. All rough things are green. If the tiger is blue and the tiger does not like the bear then the bear does not visit the tiger.
The bear is not blue.
@0: The bear is nice.[(triple1)] The tiger likes the bear.[(triple2)] @1: The bear sees the bear.[(((triple1) -> rule4))] The tiger is rough.[(((triple2) -> rule5))] The tiger sees the tiger.[(((triple2) -> rule1))] @2: The tiger is green.[(((((triple2) -> rule5)) -> rule7))] @3: The tiger is nice.[(((((((triple2) -> rule5)) -> rule7)) -> rule3))] @4: The tiger sees the bear.[(((((((((triple2) -> rule5)) -> rule7)) -> rule3)) -> rule4))] @5: The tiger likes the tiger.[(((((((triple2) -> rule5)) -> rule7) ((((((((triple2) -> rule5)) -> rule7)) -> rule3)) -> rule4)) -> rule2))]