The cow is blue. The cow likes the lion. The cow visits the lion. The lion is rough. The lion likes the tiger. The lion visits the cow. The tiger does not chase the cow. The tiger chases the lion. The tiger is green. The tiger likes the cow. The tiger does not visit the cow. The tiger visits the lion. If something is green and it visits the lion then it is blue. If something likes the tiger then it does not chase the tiger. If something is green and rough then it chases the tiger. If the lion is red then the lion is not blue. If something likes the cow and it is blue then it likes the tiger. If something chases the lion then it likes the lion. If something chases the tiger then the tiger is nice. If something likes the cow and the cow likes the lion then the lion is nice.
The cow is not green.
@0: The cow is blue.[(triple1)] The cow likes the lion.[(triple2)] The cow visits the lion.[(triple3)] The lion is rough.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the cow.[(triple6)] The tiger chases the lion.[(triple8)] The tiger does not chase the cow.[(triple7)] The tiger does not visit the cow.[(triple11)] The tiger is green.[(triple9)] The tiger likes the cow.[(triple10)] The tiger visits the lion.[(triple12)] @1: The lion does not chase the tiger.[(((triple5) -> rule2))] The lion is nice.[(((triple10 triple2) -> rule8))] The tiger is blue.[(((triple9 triple12) -> rule1))] The tiger likes the lion.[(((triple8) -> rule6))] @2: The tiger likes the tiger.[(((triple10 ((triple9 triple12) -> rule1)) -> rule5))] @3: The tiger does not chase the tiger.[(((((triple10 ((triple9 triple12) -> rule1)) -> rule5)) -> rule2))]