The cat chases the cow. The cat chases the rabbit. The cat eats the cow. The cat does not eat the rabbit. The cat needs the cow. The cow chases the rabbit. The cow eats the cat. The cow eats the rabbit. The lion eats the cow. The lion needs the rabbit. The rabbit chases the cat. The rabbit chases the cow. If someone needs the cat then they need the cow. If someone chases the cow then the cow needs the cat. If someone needs the rabbit and the rabbit is red then they eat the cow. If the cow is nice and the cat does not chase the cow then the cow does not chase the cat. If someone is nice and they chase the cow then they are red. If someone needs the cat then they do not eat the lion. If someone needs the cow and the cow does not eat the lion then the lion does not eat the cat. If someone eats the cat and they are nice then they are rough.
The cow eats the lion.
@0: The cat chases the cow.[(triple1)] The cat chases the rabbit.[(triple2)] The cat does not eat the rabbit.[(triple4)] The cat eats the cow.[(triple3)] The cat needs the cow.[(triple5)] The cow chases the rabbit.[(triple6)] The cow eats the cat.[(triple7)] The cow eats the rabbit.[(triple8)] The lion eats the cow.[(triple9)] The lion needs the rabbit.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit chases the cow.[(triple12)] @1: The cow needs the cat.[(((triple1) -> rule2) OR ((triple12) -> rule2))] @2: The cow does not eat the lion.[(((((triple1) -> rule2)) -> rule6) OR ((((triple12) -> rule2)) -> rule6))] The cow needs the cow.[(((((triple1) -> rule2)) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] @3: The lion does not eat the cat.[(((triple5 ((((triple1) -> rule2)) -> rule6)) -> rule7) OR ((triple5 ((((triple12) -> rule2)) -> rule6)) -> rule7) OR ((((((triple1) -> rule2)) -> rule1) ((((triple1) -> rule2)) -> rule6)) -> rule7) OR ((((((triple1) -> rule2)) -> rule1) ((((triple12) -> rule2)) -> rule6)) -> rule7) OR ((((((triple12) -> rule2)) -> rule1) ((((triple1) -> rule2)) -> rule6)) -> rule7) OR ((((((triple12) -> rule2)) -> rule1) ((((triple12) -> rule2)) -> rule6)) -> rule7))]