The bear chases the cat. The bear chases the lion. The bear is blue. The bear is kind. The bear is red. The bear is round. The bear likes the lion. The bear sees the lion. The cat chases the bear. The cat sees the bear. The lion is red. The lion is round. If someone chases the bear then the bear is blue. If someone is round then they like the cat.
The bear is not red.
@0: The bear chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear is blue.[(triple3 OR ((triple9) -> rule1))] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear likes the lion.[(triple7)] The bear sees the lion.[(triple8)] The cat chases the bear.[(triple9)] The cat sees the bear.[(triple10)] The lion is red.[(triple11)] The lion is round.[(triple12)] @1: The bear likes the cat.[(((triple6) -> rule2))] The lion likes the cat.[(((triple12) -> rule2))]