The bear eats the cow. The bear is green. The bear is kind. The bear is round. The bear likes the cat. The bear likes the cow. The bear sees the cat. The bear sees the cow. The cat eats the bear. The cat is kind. The cow eats the cat. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow sees the cat. If someone likes the bear and they like the cat then the cat is nice. If someone is kind and they eat the cat then they are nice. If someone likes the cow then the cow sees the cat. If the cow is round and the cow sees the bear then the bear is round. If the cow sees the cat then the cat eats the cow. If someone sees the cat and they see the cow then the cow sees the cat. If someone likes the cat and they see the cat then they see the bear. If someone eats the cow and the cow sees the cat then they see the bear.
The bear does not eat the cow.
@0: The bear eats the cow.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear likes the cat.[(triple5)] The bear likes the cow.[(triple6)] The bear sees the cat.[(triple7)] The bear sees the cow.[(triple8)] The cat eats the bear.[(triple9)] The cat is kind.[(triple10)] The cow eats the cat.[(triple11)] The cow is green.[(triple12)] The cow is kind.[(triple13)] The cow is nice.[(triple14 OR ((triple13 triple11) -> rule2))] The cow is rough.[(triple15)] The cow sees the cat.[(triple16 OR ((triple6) -> rule3) OR ((triple7 triple8) -> rule6))] @1: The bear sees the bear.[(((triple1 triple16) -> rule8) OR ((triple5 triple7) -> rule7) OR ((triple1 ((triple6) -> rule3)) -> rule8) OR ((triple1 ((triple7 triple8) -> rule6)) -> rule8))] The cat eats the cow.[(((triple16) -> rule5) OR ((((triple6) -> rule3)) -> rule5) OR ((((triple7 triple8) -> rule6)) -> rule5))] @2: The cat sees the bear.[(((((triple16) -> rule5) triple16) -> rule8) OR ((((triple16) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((triple16) -> rule5) ((triple7 triple8) -> rule6)) -> rule8) OR ((((((triple6) -> rule3)) -> rule5) triple16) -> rule8) OR ((((((triple7 triple8) -> rule6)) -> rule5) triple16) -> rule8) OR ((((((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((triple6) -> rule3)) -> rule5) ((triple7 triple8) -> rule6)) -> rule8) OR ((((((triple7 triple8) -> rule6)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((triple7 triple8) -> rule6)) -> rule5) ((triple7 triple8) -> rule6)) -> rule8))]