The bear eats the tiger. The bear is big. The bear is blue. The bear is kind. The bear is round. The bear is young. The bear likes the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is big. The tiger is blue. The tiger is kind. The tiger is round. The tiger is young. The tiger likes the bear. The tiger visits the bear. If someone likes the tiger and the tiger eats the bear then they visit the bear. If someone visits the bear and they eat the tiger then the tiger likes the bear. If the bear visits the tiger then the bear likes the tiger. If someone is round and big then they visit the tiger. If someone visits the tiger and they eat the bear then the bear visits the tiger. If someone visits the tiger and the tiger eats the bear then they are blue.
The bear is not blue.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3 OR ((triple8 triple9) -> rule6) OR ((((triple5 triple2) -> rule4) triple9) -> rule6) OR ((((((triple13 triple10) -> rule4) triple9) -> rule5) triple9) -> rule6))] The bear is kind.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the tiger.[(triple7 OR ((triple8) -> rule3) OR ((((triple5 triple2) -> rule4)) -> rule3) OR ((((((triple13 triple10) -> rule4) triple9) -> rule5)) -> rule3))] The bear visits the tiger.[(triple8 OR ((triple5 triple2) -> rule4) OR ((((triple13 triple10) -> rule4) triple9) -> rule5))] The tiger eats the bear.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11 OR ((((triple13 triple10) -> rule4) triple9) -> rule6))] The tiger is kind.[(triple12)] The tiger is round.[(triple13)] The tiger is young.[(triple14)] The tiger likes the bear.[(triple15 OR ((((triple7 triple9) -> rule1) triple1) -> rule2) OR ((((((triple8) -> rule3) triple9) -> rule1) triple1) -> rule2) OR ((((((((triple5 triple2) -> rule4)) -> rule3) triple9) -> rule1) triple1) -> rule2) OR ((((((((((triple13 triple10) -> rule4) triple9) -> rule5)) -> rule3) triple9) -> rule1) triple1) -> rule2))] The tiger visits the bear.[(triple16)] @1: The bear visits the bear.[(((triple7 triple9) -> rule1) OR ((((triple8) -> rule3) triple9) -> rule1) OR ((((((triple5 triple2) -> rule4)) -> rule3) triple9) -> rule1) OR ((((((((triple13 triple10) -> rule4) triple9) -> rule5)) -> rule3) triple9) -> rule1))] The tiger visits the tiger.[(((triple13 triple10) -> rule4))]