The bear likes the dog. The dog is green. The dog is red. The dog is rough. The dog does not need the bear. The dog visits the squirrel. The lion is big. The lion is rough. The lion is young. The lion likes the bear. The lion likes the squirrel. The lion needs the bear. The lion needs the dog. The lion visits the bear. The squirrel is young. The squirrel does not need the lion. If something is green and red then it visits the lion. Green things are red. If something visits the lion then it visits the bear.
The dog visits the bear.
@0: The bear likes the dog.[(triple1)] The dog does not need the bear.[(triple5)] The dog is green.[(triple2)] The dog is red.[(triple3 OR ((triple2) -> rule2))] The dog is rough.[(triple4)] The dog visits the squirrel.[(triple6)] The lion is big.[(triple7)] The lion is rough.[(triple8)] The lion is young.[(triple9)] The lion likes the bear.[(triple10)] The lion likes the squirrel.[(triple11)] The lion needs the bear.[(triple12)] The lion needs the dog.[(triple13)] The lion visits the bear.[(triple14)] The squirrel does not need the lion.[(triple16)] The squirrel is young.[(triple15)] @1: The dog visits the lion.[(((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule1))] @2: The dog visits the bear.[(((((triple2 triple3) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3))]