The cow is blue. The cow is red. The cow sees the rabbit. The cow sees the tiger. The rabbit chases the cow. The rabbit chases the tiger. The rabbit is nice. The rabbit is red. The rabbit is rough. The tiger chases the cow. The tiger needs the cow. The tiger sees the rabbit. If something chases the cow and it sees the rabbit then it needs the rabbit. If something is big and it chases the cow then the cow is rough. If the tiger chases the cow and the cow is rough then the cow sees the rabbit. If something needs the rabbit then it does not chase the tiger. If the cow is big then the cow is blue. If something needs the tiger then it chases the cow. If something sees the tiger and it does not need the cow then the cow sees the tiger. If something sees the rabbit then it needs the tiger.
The tiger does not need the rabbit.
@0: The cow is blue.[(triple1)] The cow is red.[(triple2)] The cow sees the rabbit.[(triple3)] The cow sees the tiger.[(triple4)] The rabbit chases the cow.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The tiger chases the cow.[(triple10 OR ((((triple12) -> rule8)) -> rule6))] The tiger needs the cow.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The cow needs the tiger.[(((triple3) -> rule8))] The tiger needs the rabbit.[(((triple10 triple12) -> rule1) OR ((((((triple12) -> rule8)) -> rule6) triple12) -> rule1))] The tiger needs the tiger.[(((triple12) -> rule8))] @2: The cow chases the cow.[(((((triple3) -> rule8)) -> rule6))] The tiger does not chase the tiger.[(((((triple10 triple12) -> rule1)) -> rule4) OR ((((((((triple12) -> rule8)) -> rule6) triple12) -> rule1)) -> rule4))] @3: The cow needs the rabbit.[(((((((triple3) -> rule8)) -> rule6) triple3) -> rule1))] @4: The cow does not chase the tiger.[(((((((((triple3) -> rule8)) -> rule6) triple3) -> rule1)) -> rule4))]