The cow is rough. The cow is round. The cow needs the tiger. The cow sees the tiger. The dog is green. The dog is young. The tiger chases the cow. The tiger is green. The tiger is rough. The tiger needs the dog. If someone is kind then they see the dog. If someone sees the dog then they need the tiger. If someone sees the dog and they chase the dog then the dog chases the cow. If someone is green then they are kind. If someone sees the tiger and the tiger chases the cow then the cow is young. If someone is round then they need the tiger.
The dog is kind.
@0: The cow is rough.[(triple1)] The cow is round.[(triple2)] The cow needs the tiger.[(triple3 OR ((triple2) -> rule6))] The cow sees the tiger.[(triple4)] The dog is green.[(triple5)] The dog is young.[(triple6)] The tiger chases the cow.[(triple7)] The tiger is green.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the dog.[(triple10)] @1: The cow is young.[(((triple4 triple7) -> rule5))] The dog is kind.[(((triple5) -> rule4))] The tiger is kind.[(((triple8) -> rule4))] @2: The dog sees the dog.[(((((triple5) -> rule4)) -> rule1))] The tiger sees the dog.[(((((triple8) -> rule4)) -> rule1))] @3: The dog needs the tiger.[(((((((triple5) -> rule4)) -> rule1)) -> rule2))] The tiger needs the tiger.[(((((((triple8) -> rule4)) -> rule1)) -> rule2))]