The bear eats the tiger. The bear is big. The bear is cold. The bear is round. The bear needs the tiger. The bear visits the tiger. The tiger is big. The tiger is cold. The tiger needs the bear. The tiger visits the bear. If something visits the bear and the bear needs the tiger then it eats the bear. If something visits the tiger and the tiger visits the bear then it needs the bear. If something visits the tiger then it visits the bear. If something eats the bear then it needs the tiger. If something eats the bear and it visits the bear then it is nice. If something visits the bear then the bear is green.
The tiger is not green.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is round.[(triple4)] The bear needs the tiger.[(triple5)] The bear visits the tiger.[(triple6)] The tiger is big.[(triple7)] The tiger is cold.[(triple8)] The tiger needs the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear is green.[(((triple10) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] The bear needs the bear.[(((triple6 triple10) -> rule2))] The bear visits the bear.[(((triple6) -> rule3))] The tiger eats the bear.[(((triple10 triple5) -> rule1))] @2: The bear eats the bear.[(((((triple6) -> rule3) triple5) -> rule1))] The tiger is nice.[(((((triple10 triple5) -> rule1) triple10) -> rule5))] The tiger needs the tiger.[(((((triple10 triple5) -> rule1)) -> rule4))] @3: The bear is nice.[(((((((triple6) -> rule3) triple5) -> rule1) ((triple6) -> rule3)) -> rule5))]