The dog is rough. The dog needs the tiger. The dog sees the rabbit. The rabbit is young. The rabbit likes the squirrel. The rabbit needs the dog. The squirrel likes the rabbit. The squirrel needs the dog. The tiger is young. The tiger likes the rabbit. The tiger needs the squirrel. The tiger sees the rabbit. If something is young then it sees the tiger. If something needs the dog and the dog is rough then the dog is young.
The dog is not blue.
@0: The dog is rough.[(triple1)] The dog needs the tiger.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit is young.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit needs the dog.[(triple6)] The squirrel likes the rabbit.[(triple7)] The squirrel needs the dog.[(triple8)] The tiger is young.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger needs the squirrel.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The dog is young.[(((triple6 triple1) -> rule2) OR ((triple8 triple1) -> rule2))] The rabbit sees the tiger.[(((triple4) -> rule1))] The tiger sees the tiger.[(((triple9) -> rule1))] @2: The dog sees the tiger.[(((((triple6 triple1) -> rule2)) -> rule1) OR ((((triple8 triple1) -> rule2)) -> rule1))]