The bear is big. The bear sees the cat. The cat is big. The cat is rough. The cat likes the bear. The cat needs the bear. The cat sees the bear. If someone needs the bear and the bear is green then the bear needs the cat. If the cat needs the bear and the bear sees the cat then the bear is green. If someone needs the bear then the bear sees the cat.
The bear does not need the bear.
@0: The bear is big.[(triple1)] The bear sees the cat.[(triple2 OR ((triple6) -> rule3))] The cat is big.[(triple3)] The cat is rough.[(triple4)] The cat likes the bear.[(triple5)] The cat needs the bear.[(triple6)] The cat sees the bear.[(triple7)] @1: The bear is green.[(((triple6 triple2) -> rule2) OR ((triple6 ((triple6) -> rule3)) -> rule2))] @2: The bear needs the cat.[(((triple6 ((triple6 triple2) -> rule2)) -> rule1) OR ((triple6 ((triple6 ((triple6) -> rule3)) -> rule2)) -> rule1))]