The cow is big. The cow is cold. The cow is red. The cow is round. The cow is young. The cow likes the tiger. The cow needs the tiger. The cow sees the tiger. The tiger is big. The tiger is round. The tiger likes the cow. The tiger needs the cow. If something likes the tiger then the tiger is round. If something needs the tiger then the tiger likes the cow. If something likes the cow then it is red. If something needs the cow and it needs the tiger then the tiger sees the cow. If something needs the cow and the cow needs the tiger then the cow likes the tiger. If something sees the tiger and it is big then it is round. If something is cold and it likes the tiger then it sees the cow. If something likes the cow and the cow sees the tiger then the tiger likes the cow.
The tiger does not see the cow.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4 OR ((triple8 triple1) -> rule6))] The cow is young.[(triple5)] The cow likes the tiger.[(triple6 OR ((triple12 triple7) -> rule5))] The cow needs the tiger.[(triple7)] The cow sees the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is round.[(triple10 OR ((triple6) -> rule1) OR ((((triple12 triple7) -> rule5)) -> rule1))] The tiger likes the cow.[(triple11 OR ((triple7) -> rule2))] The tiger needs the cow.[(triple12)] @1: The cow sees the cow.[(((triple2 triple6) -> rule7) OR ((triple2 ((triple12 triple7) -> rule5)) -> rule7))] The tiger is red.[(((triple11) -> rule3) OR ((((triple7) -> rule2)) -> rule3))]