The bald eagle is green. The bald eagle likes the cow. The cat eats the cow. The cat is green. The cat likes the bald eagle. The cat visits the bald eagle. The cat visits the dog. The cow eats the bald eagle. The cow eats the dog. The cow is green. The cow is round. The cow likes the cat. The dog eats the cow. The dog is big. The dog is green. If someone likes the cat and the cat visits the bald eagle then the bald eagle eats the dog. If someone is rough then they visit the dog. If someone visits the dog and the dog is green then they visit the cat. If someone eats the bald eagle then they are big. If someone visits the cat then they like the cow. If someone likes the dog then the dog is kind. If someone visits the bald eagle and they like the dog then they are big. If someone visits the cat then they like the dog.
The dog is kind.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the cow.[(triple2)] The cat eats the cow.[(triple3)] The cat is green.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the dog.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the dog.[(triple9)] The cow is green.[(triple10)] The cow is round.[(triple11)] The cow likes the cat.[(triple12)] The dog eats the cow.[(triple13)] The dog is big.[(triple14)] The dog is green.[(triple15)] @1: The bald eagle eats the dog.[(((triple12 triple6) -> rule1))] The cat visits the cat.[(((triple7 triple15) -> rule3))] The cow is big.[(((triple8) -> rule4))] @2: The cat likes the cow.[(((((triple7 triple15) -> rule3)) -> rule5))] The cat likes the dog.[(((((triple7 triple15) -> rule3)) -> rule8))] @3: The cat is big.[(((triple6 ((((triple7 triple15) -> rule3)) -> rule8)) -> rule7))] The dog is kind.[(((((((triple7 triple15) -> rule3)) -> rule8)) -> rule6))]