The bear chases the cat. The bear chases the squirrel. The bear is big. The bear is blue. The bear is red. The bear is young. The bear visits the cat. The bear visits the squirrel. The cat chases the bear. The cat is young. The squirrel chases the cat. The squirrel is blue. The squirrel is young. The squirrel likes the bear. The squirrel likes the cat. The squirrel visits the cat. If someone likes the cat and they chase the bear then they are red. If someone likes the bear then the bear is young. If someone chases the bear then the bear chases the cat. If someone chases the bear and they are rough then the bear likes the cat. If someone likes the cat and they are blue then they like the bear. If someone likes the bear and they chase the squirrel then the bear is young.
The squirrel likes the squirrel.
@0: The bear chases the cat.[(triple1 OR ((triple9) -> rule3))] The bear chases the squirrel.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6 OR ((triple14) -> rule2) OR ((((triple15 triple12) -> rule5)) -> rule2))] The bear visits the cat.[(triple7)] The bear visits the squirrel.[(triple8)] The cat chases the bear.[(triple9)] The cat is young.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the bear.[(triple14 OR ((triple15 triple12) -> rule5))] The squirrel likes the cat.[(triple15)] The squirrel visits the cat.[(triple16)]