The bear is red. The bear is rough. The bear likes the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit likes the bear. The rabbit sees the bear. The rabbit visits the bear. If something is blue and it visits the rabbit then it is red. If something visits the rabbit and it sees the bear then the rabbit is kind.
The rabbit does not visit the bear.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear likes the rabbit.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit visits the bear.[(triple12)]