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