The cow does not eat the tiger. The cow is not nice. The cow sees the tiger. The cow visits the dog. The cow visits the lion. The cow visits the tiger. The dog eats the cow. The dog eats the tiger. The lion is rough. The lion visits the cow. The lion visits the tiger. The tiger eats the cow. The tiger eats the lion. The tiger is red. The tiger sees the cow. The tiger sees the lion. If something is rough then it eats the tiger. If something visits the tiger and it sees the tiger then it is green. If something visits the lion and the lion eats the tiger then the lion visits the dog. If something eats the tiger and the tiger visits the dog then the dog eats the cow. If something is young and it visits the lion then it eats the cow. If the dog eats the lion then the lion is not young. If something visits the cow and it is green then the cow is red. If something visits the dog then it sees the tiger.
The cow is not green.
@0: The cow does not eat the tiger.[(triple1)] The cow is not nice.[(triple2)] The cow sees the tiger.[(triple3 OR ((triple4) -> rule8))] The cow visits the dog.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the tiger.[(triple6)] The dog eats the cow.[(triple7)] The dog eats the tiger.[(triple8)] The lion is rough.[(triple9)] The lion visits the cow.[(triple10)] The lion visits the tiger.[(triple11)] The tiger eats the cow.[(triple12)] The tiger eats the lion.[(triple13)] The tiger is red.[(triple14)] The tiger sees the cow.[(triple15)] The tiger sees the lion.[(triple16)] @1: The cow is green.[(((triple6 triple3) -> rule2) OR ((triple6 ((triple4) -> rule8)) -> rule2))] The lion eats the tiger.[(((triple9) -> rule1))] @2: The lion visits the dog.[(((triple5 ((triple9) -> rule1)) -> rule3))] @3: The lion sees the tiger.[(((((triple5 ((triple9) -> rule1)) -> rule3)) -> rule8))] @4: The lion is green.[(((triple11 ((((triple5 ((triple9) -> rule1)) -> rule3)) -> rule8)) -> rule2))] @5: The cow is red.[(((triple10 ((triple11 ((((triple5 ((triple9) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7))]