The bear chases the rabbit. The bear is green. The bear is nice. The bear is rough. The bear likes the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is nice. The rabbit likes the bear. The rabbit visits the bear. If someone is blue then they like the rabbit. If someone is nice then they chase the bear.
The rabbit does not like the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear likes the rabbit.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit chases the bear.[(triple7 OR ((triple8) -> rule2))] The rabbit is nice.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The bear chases the bear.[(((triple3) -> rule2))]