The bear visits the cat. The bear visits the cow. The cat eats the cow. The cat eats the tiger. The cat is blue. The cat is kind. The cat needs the tiger. The cow needs the bear. The cow visits the cat. The tiger eats the cat. The tiger is blue. The tiger is nice. The tiger needs the bear. The tiger needs the cow. The tiger visits the cat. The tiger visits the cow. All blue people are nice. If someone eats the cat and the cat is kind then they are kind. If someone needs the bear and they are kind then the bear is nice. If someone is red then they eat the cow. If the tiger is blue then the tiger is kind. If someone visits the bear then the bear is red.
The bear is not kind.
@0: The bear visits the cat.[(triple1)] The bear visits the cow.[(triple2)] The cat eats the cow.[(triple3)] The cat eats the tiger.[(triple4)] The cat is blue.[(triple5)] The cat is kind.[(triple6)] The cat needs the tiger.[(triple7)] The cow needs the bear.[(triple8)] The cow visits the cat.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is blue.[(triple11)] The tiger is nice.[(triple12 OR ((triple11) -> rule1))] The tiger needs the bear.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the cow.[(triple16)] @1: The cat is nice.[(((triple5) -> rule1))] The tiger is kind.[(((triple11) -> rule5) OR ((triple10 triple6) -> rule2))] @2: The bear is nice.[(((triple13 ((triple11) -> rule5)) -> rule3) OR ((triple13 ((triple10 triple6) -> rule2)) -> rule3))]