The bear chases the cat. The bear chases the rabbit. The bear is red. The bear is young. The bear visits the rabbit. The cat chases the bear. The cat is blue. The cat is cold. The cat is red. The cat sees the bear. The rabbit chases the cat. The rabbit is nice. The rabbit is red. The rabbit sees the bear. The rabbit sees the cat. The rabbit visits the cat. If the bear visits the cat then the cat is red. If someone visits the bear and they visit the rabbit then the bear sees the cat. If someone sees the cat and they see the rabbit then the rabbit visits the bear. If someone visits the rabbit and they see the rabbit then the rabbit sees the bear. If someone chases the rabbit then the rabbit is young. If someone visits the rabbit then they are red. If someone visits the bear and the bear is cold then they see the rabbit. If someone chases the rabbit and they are blue then they are young.
The cat is not blue.
@0: The bear chases the cat.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is red.[(triple3 OR ((triple5) -> rule6))] The bear is young.[(triple4)] The bear visits the rabbit.[(triple5)] The cat chases the bear.[(triple6)] The cat is blue.[(triple7)] The cat is cold.[(triple8)] The cat is red.[(triple9)] The cat sees the bear.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the cat.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The rabbit is young.[(((triple2) -> rule5))]