The cow does not chase the tiger. The cow eats the tiger. The cow is not blue. The cow is cold. The cow is kind. The cow sees the tiger. The tiger chases the cow. The tiger does not eat the cow. The tiger is not blue. The tiger is nice. The tiger is round. The tiger sees the cow. If something is cold and it eats the tiger then the tiger sees the cow. If something sees the tiger and it is blue then it does not eat the cow. If something chases the cow then the cow is round. If something is cold and round then it does not chase the cow. If something chases the cow and the cow chases the tiger then the cow eats the tiger. If the cow is not cold then the cow eats the tiger. If the tiger is blue then the tiger chases the cow. If something sees the tiger then the tiger is nice.
The tiger is not blue.
@0: The cow does not chase the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is cold.[(triple4)] The cow is kind.[(triple5)] The cow is not blue.[(triple3)] The cow sees the tiger.[(triple6)] The tiger chases the cow.[(triple7)] The tiger does not eat the cow.[(triple8)] The tiger is nice.[(triple10 OR ((triple6) -> rule8))] The tiger is not blue.[(triple9)] The tiger is round.[(triple11)] The tiger sees the cow.[(triple12 OR ((triple4 triple2) -> rule1))] @1: The cow is round.[(((triple7) -> rule3))] @2: The cow does not chase the cow.[(((triple4 ((triple7) -> rule3)) -> rule4))]