The bear chases the dog. The bear is blue. The bear is green. The bear is rough. The bear likes the cow. The bear likes the dog. The bear needs the cow. The bear needs the dog. The cow likes the dog. The cow needs the bear. The dog chases the bear. The dog needs the cow. If the bear is red and the bear needs the dog then the dog is red. If someone needs the cow then the cow is young. If someone likes the cow then the cow likes the dog. If someone likes the dog then they need the cow. If the dog chases the cow then the cow is green. If someone is green and they chase the bear then they like the dog. If someone is rough and they need the dog then the dog chases the cow. If someone is green and they need the bear then they like the bear.
The dog does not like the dog.
@0: The bear chases the dog.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is rough.[(triple4)] The bear likes the cow.[(triple5)] The bear likes the dog.[(triple6)] The bear needs the cow.[(triple7 OR ((triple6) -> rule4))] The bear needs the dog.[(triple8)] The cow likes the dog.[(triple9 OR ((triple5) -> rule3))] The cow needs the bear.[(triple10)] The dog chases the bear.[(triple11)] The dog needs the cow.[(triple12)] @1: The cow is young.[(((triple12) -> rule2) OR ((triple7) -> rule2) OR ((((triple6) -> rule4)) -> rule2) OR ((((triple9) -> rule4)) -> rule2) OR ((((((triple5) -> rule3)) -> rule4)) -> rule2))] The cow needs the cow.[(((triple9) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] The dog chases the cow.[(((triple4 triple8) -> rule7))] @2: The cow is green.[(((((triple4 triple8) -> rule7)) -> rule5))] @3: The cow likes the bear.[(((((((triple4 triple8) -> rule7)) -> rule5) triple10) -> rule8))]