The cat is round. The cat is young. The cat likes the cow. The cat needs the cow. The cat needs the tiger. The cow needs the tiger. The cow sees the tiger. The lion is round. The lion likes the tiger. The lion needs the cow. The lion sees the cow. The tiger is nice. The tiger likes the cat. The tiger likes the cow. The tiger needs the cow. The tiger sees the cat. If someone likes the cat and the cat is round then they need the cat. If someone needs the cow then the cow needs the lion. If the cow sees the cat and the cat likes the tiger then the cow is green. If someone sees the cow and the cow sees the lion then they see the cat. If someone needs the lion and they see the tiger then the tiger sees the lion. If the cat sees the cow then the cow sees the lion. If someone likes the lion and the lion needs the tiger then the tiger is round. If someone likes the tiger and they need the lion then they see the cow.
The cow is not green.
@0: The cat is round.[(triple1)] The cat is young.[(triple2)] The cat likes the cow.[(triple3)] The cat needs the cow.[(triple4)] The cat needs the tiger.[(triple5)] The cow needs the tiger.[(triple6)] The cow sees the tiger.[(triple7)] The lion is round.[(triple8)] The lion likes the tiger.[(triple9)] The lion needs the cow.[(triple10)] The lion sees the cow.[(triple11)] The tiger is nice.[(triple12)] The tiger likes the cat.[(triple13)] The tiger likes the cow.[(triple14)] The tiger needs the cow.[(triple15)] The tiger sees the cat.[(triple16)] @1: The cow needs the lion.[(((triple10) -> rule2) OR ((triple15) -> rule2) OR ((triple4) -> rule2))] The tiger needs the cat.[(((triple13 triple1) -> rule1))] @2: The tiger sees the lion.[(((((triple10) -> rule2) triple7) -> rule5) OR ((((triple15) -> rule2) triple7) -> rule5) OR ((((triple4) -> rule2) triple7) -> rule5))]