The cat is kind. The cat is red. The cat likes the lion. The cat sees the lion. The cow eats the dog. The cow eats the lion. The cow is red. The cow likes the cat. The cow sees the lion. The dog eats the lion. The dog is kind. The dog is round. The lion eats the cow. The lion eats the dog. The lion likes the dog. If something is big and it eats the lion then the lion eats the cow. If something is big and it eats the dog then the dog is round. If something eats the cow then it is red. Red things are big. If something eats the cat and the cat sees the dog then the cat likes the lion. If something likes the lion then the lion eats the cat. If something is round and it sees the lion then the lion is round. If something eats the lion and it likes the cat then the lion likes the dog.
The cat eats the cow.
@0: The cat is kind.[(triple1)] The cat is red.[(triple2)] The cat likes the lion.[(triple3)] The cat sees the lion.[(triple4)] The cow eats the dog.[(triple5)] The cow eats the lion.[(triple6)] The cow is red.[(triple7)] The cow likes the cat.[(triple8)] The cow sees the lion.[(triple9)] The dog eats the lion.[(triple10)] The dog is kind.[(triple11)] The dog is round.[(triple12 OR ((((triple7) -> rule4) triple5) -> rule2) OR ((((((triple13) -> rule3)) -> rule4) triple14) -> rule2) OR ((((((((((triple7) -> rule4) triple6) -> rule1)) -> rule3)) -> rule4) triple14) -> rule2))] The lion eats the cow.[(triple13 OR ((((triple7) -> rule4) triple6) -> rule1))] The lion eats the dog.[(triple14)] The lion likes the dog.[(triple15 OR ((triple6 triple8) -> rule8))] @1: The cat is big.[(((triple2) -> rule4))] The cow is big.[(((triple7) -> rule4))] The lion eats the cat.[(((triple3) -> rule6))] The lion is red.[(((triple13) -> rule3) OR ((((((triple7) -> rule4) triple6) -> rule1)) -> rule3))] @2: The lion is big.[(((((triple13) -> rule3)) -> rule4) OR ((((((((triple7) -> rule4) triple6) -> rule1)) -> rule3)) -> rule4))]