The bear chases the cat. The bear likes the squirrel. The bear visits the cat. The bear does not visit the squirrel. The cat chases the bear. The cat chases the squirrel. The cat is big. The cat is blue. The cat does not like the bear. The cat does not like the squirrel. The cat visits the bear. The squirrel does not chase the cat. The squirrel is big. The squirrel likes the cat. The squirrel visits the cat. If someone likes the squirrel and the squirrel visits the cat then they like the cat. All blue, rough people are not green. If someone is round and blue then they visit the cat. If someone chases the bear and they visit the cat then they visit the bear. If someone visits the bear then the bear likes the squirrel. If someone visits the cat and the cat visits the bear then the bear likes the cat. If someone is round then they chase the bear. If someone chases the cat then the cat chases the bear.
The squirrel chases the cat.
@0: The bear chases the cat.[(triple1)] The bear does not visit the squirrel.[(triple4)] The bear likes the squirrel.[(triple2 OR ((triple11) -> rule5))] The bear visits the cat.[(triple3)] The cat chases the bear.[(triple5 OR ((triple1) -> rule8))] The cat chases the squirrel.[(triple6)] The cat does not like the bear.[(triple9)] The cat does not like the squirrel.[(triple10)] The cat is big.[(triple7)] The cat is blue.[(triple8)] The cat visits the bear.[(triple11)] The squirrel does not chase the cat.[(triple12)] The squirrel is big.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The bear likes the cat.[(((triple15 triple11) -> rule6) OR ((triple2 triple15) -> rule1) OR ((triple3 triple11) -> rule6) OR ((((triple11) -> rule5) triple15) -> rule1))]