The bear chases the rabbit. The bear is blue. The bear is red. The bear is young. The rabbit chases the bear. The rabbit is red. The rabbit is young. If someone chases the bear then the bear is green. If someone is nice then they see the bear. If someone chases the bear then they see the rabbit. If someone is blue and not nice then they do not like the bear. If the rabbit sees the bear then the rabbit likes the bear. If someone is green then they are red. If someone is young and not green then they chase the rabbit. If the rabbit sees the bear and the bear does not chase the rabbit then the bear does not see the rabbit.
The bear is not blue.
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is red.[(triple3 OR ((((triple5) -> rule1)) -> rule6))] The bear is young.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit is red.[(triple6)] The rabbit is young.[(triple7)] @1: The bear is green.[(((triple5) -> rule1))] The rabbit sees the rabbit.[(((triple5) -> rule3))]