The bear is not big. The bear is green. The bear is not red. The bear likes the cat. The bear likes the lion. The bear needs the cat. The bear visits the cat. The bear visits the lion. The cat likes the bear. The cat likes the lion. The cat needs the lion. The cat does not visit the bear. The lion likes the bear. The lion likes the cat. The lion needs the cat. The lion visits the cat. If someone is kind then they visit the cat. If someone visits the cat and they do not visit the bear then the cat needs the lion. If someone needs the lion and the lion is red then they need the cat. If someone visits the cat then they need the bear. If someone visits the lion then they like the bear. If the cat does not visit the lion then the lion likes the bear. If someone likes the cat then the cat is kind. If someone is kind and not red then they like the cat.
The cat visits the cat.
@0: The bear is green.[(triple2)] The bear is not big.[(triple1)] The bear is not red.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the lion.[(triple5)] The bear needs the cat.[(triple6)] The bear visits the cat.[(triple7)] The bear visits the lion.[(triple8)] The cat does not visit the bear.[(triple12)] The cat likes the bear.[(triple9)] The cat likes the lion.[(triple10)] The cat needs the lion.[(triple11 OR ((((((triple14) -> rule7)) -> rule1) triple12) -> rule2) OR ((((((triple4) -> rule7)) -> rule1) triple12) -> rule2))] The lion likes the bear.[(triple13)] The lion likes the cat.[(triple14)] The lion needs the cat.[(triple15)] The lion visits the cat.[(triple16)] @1: The bear likes the bear.[(((triple8) -> rule5))] The bear needs the bear.[(((triple7) -> rule4))] The cat is kind.[(((triple14) -> rule7) OR ((triple4) -> rule7))] The lion needs the bear.[(((triple16) -> rule4))] @2: The cat visits the cat.[(((((triple14) -> rule7)) -> rule1) OR ((((triple4) -> rule7)) -> rule1))] @3: The cat needs the bear.[(((((((triple14) -> rule7)) -> rule1)) -> rule4) OR ((((((triple4) -> rule7)) -> rule1)) -> rule4))]