The bear is big. The bear is rough. The bear likes the dog. The cat eats the bear. The cat eats the dog. The cat is blue. The cat likes the dog. The cat visits the bear. The dog eats the cat. The dog is kind. The dog is rough. The dog visits the bear. If something is kind then it likes the bear. If something visits the bear then it eats the dog. If something visits the bear then the bear likes the cat. If something eats the cat and it is kind then it is blue. If the bear likes the cat then the bear visits the dog. If the bear likes the dog then the bear likes the cat.
The dog is not rough.
@0: The bear is big.[(triple1)] The bear is rough.[(triple2)] The bear likes the dog.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the dog.[(triple5 OR ((triple8) -> rule2))] The cat is blue.[(triple6)] The cat likes the dog.[(triple7)] The cat visits the bear.[(triple8)] The dog eats the cat.[(triple9)] The dog is kind.[(triple10)] The dog is rough.[(triple11)] The dog visits the bear.[(triple12)] @1: The bear likes the cat.[(((triple12) -> rule3) OR ((triple3) -> rule6) OR ((triple8) -> rule3))] The dog eats the dog.[(((triple12) -> rule2))] The dog is blue.[(((triple9 triple10) -> rule4))] The dog likes the bear.[(((triple10) -> rule1))] @2: The bear visits the dog.[(((((triple12) -> rule3)) -> rule5) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple8) -> rule3)) -> rule5))]