The bear eats the cow. The cat does not eat the tiger. The cow visits the tiger. The tiger is blue. If something chases the bear then the bear does not chase the cow. If something visits the cow and the cow is blue then it eats the tiger. All blue things are red. If something eats the cow then it is kind. If something chases the bear and it eats the tiger then the bear eats the cow. If something eats the cow and it does not visit the cat then the cow does not eat the bear. All kind things are blue. If something is blue and it visits the bear then it visits the tiger.
The cat does not visit the tiger.
@0: The bear eats the cow.[(triple1)] The cat does not eat the tiger.[(triple2)] The cow visits the tiger.[(triple3)] The tiger is blue.[(triple4)] @1: The bear is kind.[(((triple1) -> rule4))] The tiger is red.[(((triple4) -> rule3))] @2: The bear is blue.[(((((triple1) -> rule4)) -> rule7))] @3: The bear is red.[(((((((triple1) -> rule4)) -> rule7)) -> rule3))]