The bear likes the tiger. The bear does not visit the dog. The dog is not cold. The dog is kind. The dog likes the bear. The dog sees the tiger. The dog visits the tiger. The squirrel is not blue. The squirrel does not like the dog. The squirrel does not like the tiger. The squirrel sees the tiger. The squirrel visits the dog. The tiger is not young. The tiger likes the bear. The tiger likes the squirrel. The tiger sees the squirrel. If the squirrel sees the dog then the dog likes the squirrel. If someone visits the tiger and they visit the dog then they are green. If the bear is kind and the bear sees the dog then the dog likes the bear. If someone is green then they see the dog. If someone sees the tiger then they visit the tiger. If someone likes the squirrel and the squirrel is green then they visit the bear. If someone likes the tiger and they do not like the bear then they are young.
The bear is not cold.
@0: The bear does not visit the dog.[(triple2)] The bear likes the tiger.[(triple1)] The dog is kind.[(triple4)] The dog is not cold.[(triple3)] The dog likes the bear.[(triple5)] The dog sees the tiger.[(triple6)] The dog visits the tiger.[(triple7 OR ((triple6) -> rule5))] The squirrel does not like the dog.[(triple9)] The squirrel does not like the tiger.[(triple10)] The squirrel is not blue.[(triple8)] The squirrel sees the tiger.[(triple11)] The squirrel visits the dog.[(triple12)] The tiger is not young.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The squirrel visits the tiger.[(((triple11) -> rule5))] @2: The squirrel is green.[(((((triple11) -> rule5) triple12) -> rule2))] @3: The squirrel sees the dog.[(((((((triple11) -> rule5) triple12) -> rule2)) -> rule4))] The tiger visits the bear.[(((triple15 ((((triple11) -> rule5) triple12) -> rule2)) -> rule6))] @4: The dog likes the squirrel.[(((((((((triple11) -> rule5) triple12) -> rule2)) -> rule4)) -> rule1))] @5: The dog visits the bear.[(((((((((((triple11) -> rule5) triple12) -> rule2)) -> rule4)) -> rule1) ((((triple11) -> rule5) triple12) -> rule2)) -> rule6))]