The bear likes the tiger. The bear sees the tiger. The tiger chases the bear. The tiger is green. The tiger is red. The tiger likes the bear. The tiger sees the bear. If someone chases the bear and they like the bear then they see the tiger. If the bear chases the tiger and the tiger is green then the bear likes the tiger. If the tiger sees the bear then the bear sees the tiger. Red, green people are kind. If someone chases the tiger then the tiger is round. If someone likes the tiger and the tiger likes the bear then the tiger is red. If the bear likes the tiger then the bear chases the tiger. If the tiger likes the bear and the bear sees the tiger then the tiger chases the bear.
The bear is not red.
@0: The bear likes the tiger.[(triple1)] The bear sees the tiger.[(triple2 OR ((triple7) -> rule3))] The tiger chases the bear.[(triple3 OR ((triple6 triple2) -> rule8) OR ((triple6 ((triple7) -> rule3)) -> rule8))] The tiger is green.[(triple4)] The tiger is red.[(triple5 OR ((triple1 triple6) -> rule6))] The tiger likes the bear.[(triple6)] The tiger sees the bear.[(triple7)] @1: The bear chases the tiger.[(((triple1) -> rule7))] The tiger is kind.[(((triple5 triple4) -> rule4) OR ((((triple1 triple6) -> rule6) triple4) -> rule4))] The tiger sees the tiger.[(((triple3 triple6) -> rule1) OR ((((triple6 triple2) -> rule8) triple6) -> rule1) OR ((((triple6 ((triple7) -> rule3)) -> rule8) triple6) -> rule1))] @2: The tiger is round.[(((((triple1) -> rule7)) -> rule5))]