The bear eats the cow. The bear eats the tiger. The bear needs the cow. The cow eats the bear. The cow is nice. The cow likes the bear. The cow needs the bear. The cow needs the tiger. The tiger eats the cow. The tiger is cold. The tiger needs the bear. The tiger needs the cow. If something needs the tiger then it likes the cow. If the tiger likes the cow and the cow needs the bear then the tiger is rough. If something likes the bear and it is round then the bear eats the cow. If something is round and it needs the tiger then it eats the bear. If something likes the bear and it likes the tiger then it is round. If something is nice and it eats the tiger then the tiger eats the cow. If something likes the tiger and the tiger needs the bear then the tiger likes the cow. If something eats the cow then the cow likes the tiger.
The tiger does not like the cow.
@0: The bear eats the cow.[(triple1 OR ((triple6 ((triple6 ((triple9) -> rule8)) -> rule5)) -> rule3))] The bear eats the tiger.[(triple2)] The bear needs the cow.[(triple3)] The cow eats the bear.[(triple4 OR ((((triple6 ((triple1) -> rule8)) -> rule5) triple8) -> rule4) OR ((((triple6 ((triple9) -> rule8)) -> rule5) triple8) -> rule4))] The cow is nice.[(triple5)] The cow likes the bear.[(triple6)] The cow needs the bear.[(triple7)] The cow needs the tiger.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is cold.[(triple10)] The tiger needs the bear.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cow likes the cow.[(((triple8) -> rule1))] The cow likes the tiger.[(((triple1) -> rule8) OR ((triple9) -> rule8))] @2: The cow is round.[(((triple6 ((triple1) -> rule8)) -> rule5) OR ((triple6 ((triple9) -> rule8)) -> rule5))] The tiger likes the cow.[(((((triple1) -> rule8) triple11) -> rule7) OR ((((triple9) -> rule8) triple11) -> rule7))] @3: The tiger is rough.[(((((((triple1) -> rule8) triple11) -> rule7) triple7) -> rule2) OR ((((((triple9) -> rule8) triple11) -> rule7) triple7) -> rule2))]