The bear chases the dog. The bear is cold. The bear likes the cat. The bear sees the dog. The cat chases the bear. The cat is kind. The cat is not red. The cat does not like the bear. The cat sees the bear. The dog chases the bear. The dog does not chase the cat. The dog is cold. The dog is not nice. The dog likes the bear. The dog likes the cat. The dog sees the bear. If the dog chases the cat and the cat likes the dog then the cat chases the dog. If something likes the cat and the cat does not see the dog then the dog does not see the bear. If something is cold and it does not chase the bear then it likes the bear. If something chases the dog then the dog likes the bear. If something sees the cat and the cat chases the bear then it is not nice. If something chases the bear and the bear chases the dog then the dog sees the cat.
The bear is cold.
@0: The bear chases the dog.[(triple1)] The bear is cold.[(triple2)] The bear likes the cat.[(triple3)] The bear sees the dog.[(triple4)] The cat chases the bear.[(triple5)] The cat does not like the bear.[(triple8)] The cat is kind.[(triple6)] The cat is not red.[(triple7)] The cat sees the bear.[(triple9)] The dog chases the bear.[(triple10)] The dog does not chase the cat.[(triple11)] The dog is cold.[(triple12)] The dog is not nice.[(triple13 OR ((((triple10 triple1) -> rule6) triple5) -> rule5) OR ((((triple5 triple1) -> rule6) triple5) -> rule5))] The dog likes the bear.[(triple14 OR ((triple1) -> rule4))] The dog likes the cat.[(triple15)] The dog sees the bear.[(triple16)] @1: The dog sees the cat.[(((triple10 triple1) -> rule6) OR ((triple5 triple1) -> rule6))]