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