The cow sees the tiger. The lion eats the cow. The lion is nice. The lion likes the rabbit. The lion sees the tiger. The rabbit is green. The rabbit likes the cow. The rabbit likes the lion. The tiger eats the cow. The tiger eats the lion. The tiger likes the cow. The tiger sees the cow. If someone eats the cow and the cow eats the tiger then the cow sees the rabbit. If someone is nice then they are green. If someone sees the tiger then the tiger eats the rabbit. If someone sees the cow then the cow likes the tiger. If someone likes the rabbit then the rabbit is nice. If someone likes the cow then the cow likes the lion. If someone likes the lion then the lion likes the rabbit. If someone sees the cow and the cow eats the rabbit then they are kind.
The lion does not like the rabbit.
@0: The cow sees the tiger.[(triple1)] The lion eats the cow.[(triple2)] The lion is nice.[(triple3)] The lion likes the rabbit.[(triple4 OR ((triple8) -> rule7) OR ((((triple11) -> rule6)) -> rule7) OR ((((triple7) -> rule6)) -> rule7))] The lion sees the tiger.[(triple5)] The rabbit is green.[(triple6 OR ((((triple4) -> rule5)) -> rule2) OR ((((((triple8) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple11) -> rule6)) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple7) -> rule6)) -> rule7)) -> rule5)) -> rule2))] The rabbit likes the cow.[(triple7)] The rabbit likes the lion.[(triple8)] The tiger eats the cow.[(triple9)] The tiger eats the lion.[(triple10)] The tiger likes the cow.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cow likes the lion.[(((triple11) -> rule6) OR ((triple7) -> rule6))] The cow likes the tiger.[(((triple12) -> rule4))] The lion is green.[(((triple3) -> rule2))] The rabbit is nice.[(((triple4) -> rule5) OR ((((triple8) -> rule7)) -> rule5) OR ((((((triple11) -> rule6)) -> rule7)) -> rule5) OR ((((((triple7) -> rule6)) -> rule7)) -> rule5))] The tiger eats the rabbit.[(((triple1) -> rule3) OR ((triple5) -> rule3))]