The cow eats the tiger. The cow is big. The cow is cold. The cow is green. The cow is rough. The cow is round. The cow likes the tiger. The cow sees the tiger. The tiger eats the cow. The tiger is rough. The tiger likes the cow. The tiger sees the cow. If something sees the cow and the cow eats the tiger then the tiger eats the cow. If something is round and green then it eats the tiger. If something eats the cow and it is round then it sees the tiger. If something is cold then it likes the cow. If something is cold and it likes the cow then the cow is green. If something eats the tiger then the tiger eats the cow. If something is rough and it sees the cow then it likes the tiger. If something likes the tiger and it is cold then the tiger eats the cow.
The cow is green.
@0: The cow eats the tiger.[(triple1 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2))] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4 OR ((triple3 ((triple3) -> rule4)) -> rule5))] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow likes the tiger.[(triple7)] The cow sees the tiger.[(triple8)] The tiger eats the cow.[(triple9 OR ((triple1) -> rule6) OR ((triple12 triple1) -> rule1) OR ((triple7 triple3) -> rule8) OR ((((triple6 triple4) -> rule2)) -> rule6) OR ((triple12 ((triple6 triple4) -> rule2)) -> rule1) OR ((((triple6 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((triple12 ((triple6 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule1))] The tiger is rough.[(triple10)] The tiger likes the cow.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cow likes the cow.[(((triple3) -> rule4))] The tiger likes the tiger.[(((triple10 triple12) -> rule7))]