The dog is young. The rabbit is green. The rabbit likes the dog. The rabbit likes the squirrel. The rabbit needs the squirrel. The rabbit visits the dog. The squirrel is green. The squirrel likes the dog. The squirrel visits the dog. The squirrel visits the rabbit. If someone needs the rabbit then they visit the squirrel. If someone likes the dog and they visit the dog then the dog is rough. If someone is young then they are rough.
The squirrel is not rough.
@0: The dog is young.[(triple1)] The rabbit is green.[(triple2)] The rabbit likes the dog.[(triple3)] The rabbit likes the squirrel.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit visits the dog.[(triple6)] The squirrel is green.[(triple7)] The squirrel likes the dog.[(triple8)] The squirrel visits the dog.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The dog is rough.[(((triple1) -> rule3) OR ((triple3 triple6) -> rule2) OR ((triple8 triple9) -> rule2))]