The bear is big. The bear is kind. The bear is red. The bear is rough. The bear is young. The bear needs the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is big. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit needs the bear. The rabbit sees the bear. The rabbit visits the bear. If something sees the rabbit and the rabbit is red then the rabbit visits the bear. If something visits the bear and it is big then it is red.
The bear visits the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear needs the rabbit.[(triple6)] The bear sees the rabbit.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit is big.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is red.[(triple11 OR ((triple16 triple9) -> rule2))] The rabbit is rough.[(triple12)] The rabbit is young.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit visits the bear.[(triple16 OR ((triple7 triple11) -> rule1))]