The bear chases the cow. The bear is big. The bear is blue. The bear likes the tiger. The bear visits the cow. The cow chases the bear. The cow is big. The cow likes the bear. The cow visits the bear. The tiger chases the bear. The tiger is blue. The tiger is kind. The tiger likes the bear. The tiger visits the bear. The tiger visits the cow. If someone is big and they like the tiger then they like the cow. If someone chases the tiger then the tiger likes the bear. If someone visits the cow then they are blue. If someone is young and they chase the tiger then they are blue. If someone visits the bear and the bear likes the cow then they are big. If someone is kind then they like the tiger. If someone is young then they are big. If someone visits the bear and the bear is cold then the bear is young.
The bear does not like the cow.
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3 OR ((triple5) -> rule3))] The bear likes the tiger.[(triple4)] The bear visits the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow is big.[(triple7 OR ((triple9 ((triple2 triple4) -> rule1)) -> rule5))] The cow likes the bear.[(triple8)] The cow visits the bear.[(triple9)] The tiger chases the bear.[(triple10)] The tiger is blue.[(triple11 OR ((triple15) -> rule3))] The tiger is kind.[(triple12)] The tiger likes the bear.[(triple13)] The tiger visits the bear.[(triple14)] The tiger visits the cow.[(triple15)] @1: The bear likes the cow.[(((triple2 triple4) -> rule1))] The tiger likes the tiger.[(((triple12) -> rule6))] @2: The tiger is big.[(((triple14 ((triple2 triple4) -> rule1)) -> rule5))] @3: The tiger likes the cow.[(((((triple14 ((triple2 triple4) -> rule1)) -> rule5) ((triple12) -> rule6)) -> rule1))]