The bear is young. The bear needs the dog. The bear visits the dog. The cow is blue. The cow is cold. The cow needs the tiger. The cow visits the bear. The dog chases the cow. The dog is cold. The dog is green. The dog needs the cow. The dog visits the bear. The dog visits the cow. The tiger visits the bear. Blue people are green. If someone needs the dog and they are green then they visit the tiger. If someone is rough and they chase the bear then they are green. If someone is blue and they visit the bear then the bear is blue. If someone chases the bear and they are blue then they need the dog. If someone chases the bear then they visit the cow. If someone visits the tiger then they visit the cow. If someone visits the cow and the cow visits the bear then they chase the dog. If someone is cold then they are young.
The dog does not need the bear.
@0: The bear is young.[(triple1)] The bear needs the dog.[(triple2)] The bear visits the dog.[(triple3)] The cow is blue.[(triple4)] The cow is cold.[(triple5)] The cow needs the tiger.[(triple6)] The cow visits the bear.[(triple7)] The dog chases the cow.[(triple8)] The dog is cold.[(triple9)] The dog is green.[(triple10)] The dog needs the cow.[(triple11)] The dog visits the bear.[(triple12)] The dog visits the cow.[(triple13)] The tiger visits the bear.[(triple14)] @1: The bear is blue.[(((triple4 triple7) -> rule4))] The cow is green.[(((triple4) -> rule1))] The cow is young.[(((triple5) -> rule9))] The dog chases the dog.[(((triple13 triple7) -> rule8))] The dog is young.[(((triple9) -> rule9))] @2: The bear is green.[(((((triple4 triple7) -> rule4)) -> rule1))] @3: The bear visits the tiger.[(((triple2 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule2))] @4: The bear visits the cow.[(((((triple2 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule2)) -> rule7))] @5: The bear chases the dog.[(((((((triple2 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule2)) -> rule7) triple7) -> rule8))]