The bear likes the dog. The bear needs the rabbit. The dog is blue. The dog is green. The dog sees the bear. The dog sees the rabbit. The mouse likes the rabbit. The mouse needs the dog. The mouse sees the dog. The rabbit sees the dog. If the dog likes the rabbit then the dog is young. If something is young then it sees the dog. If something sees the dog and the dog is blue then the dog is young.
The dog is big.
@0: The bear likes the dog.[(triple1)] The bear needs the rabbit.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog sees the bear.[(triple5)] The dog sees the rabbit.[(triple6)] The mouse likes the rabbit.[(triple7)] The mouse needs the dog.[(triple8)] The mouse sees the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog is young.[(((triple10 triple3) -> rule3) OR ((triple9 triple3) -> rule3))] @2: The dog sees the dog.[(((((triple10 triple3) -> rule3)) -> rule2) OR ((((triple9 triple3) -> rule3)) -> rule2))]