The cat needs the cow. The cat visits the dog. The cat visits the lion. The cow eats the cat. The cow eats the dog. The cow is green. The dog eats the cow. The dog is green. The dog is nice. The dog visits the cat. The lion eats the dog. All green people are round. If someone needs the lion then the lion needs the cat. If someone is round then they are kind. If someone is round then they need the dog. If someone eats the dog then the dog eats the cow. If someone needs the cat then they visit the cow. If someone visits the cat and they are kind then the cat eats the dog. If someone needs the dog then the dog visits the lion. If someone is green and they visit the lion then they need the cat.
The cat eats the dog.
@0: The cat needs the cow.[(triple1)] The cat visits the dog.[(triple2)] The cat visits the lion.[(triple3)] The cow eats the cat.[(triple4)] The cow eats the dog.[(triple5)] The cow is green.[(triple6)] The dog eats the cow.[(triple7 OR ((triple11) -> rule5) OR ((triple5) -> rule5) OR ((((triple10 ((((triple8) -> rule1)) -> rule3)) -> rule7)) -> rule5))] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog visits the cat.[(triple10)] The lion eats the dog.[(triple11)] @1: The cow is round.[(((triple6) -> rule1))] The dog is round.[(((triple8) -> rule1))] @2: The cow is kind.[(((((triple6) -> rule1)) -> rule3))] The cow needs the dog.[(((((triple6) -> rule1)) -> rule4))] The dog is kind.[(((((triple8) -> rule1)) -> rule3))] The dog needs the dog.[(((((triple8) -> rule1)) -> rule4))] @3: The cat eats the dog.[(((triple10 ((((triple8) -> rule1)) -> rule3)) -> rule7))] The dog visits the lion.[(((((((triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule1)) -> rule4)) -> rule8))] @4: The dog needs the cat.[(((triple8 ((((((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule9) OR ((triple8 ((((((triple8) -> rule1)) -> rule4)) -> rule8)) -> rule9))] @5: The dog visits the cow.[(((((triple8 ((((((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule9)) -> rule6) OR ((((triple8 ((((((triple8) -> rule1)) -> rule4)) -> rule8)) -> rule9)) -> rule6))]