The bear chases the rabbit. The bear is green. The bear likes the rabbit. The bear needs the cat. The bear needs the mouse. The bear needs the rabbit. The cat chases the bear. The cat is kind. The cat needs the bear. The cat needs the mouse. The mouse chases the bear. The mouse is blue. The mouse needs the cat. The mouse needs the rabbit. The rabbit is blue. The rabbit is young. If someone needs the mouse then they like the cat. If someone is green and they like the cat then they are blue.
The cat likes the cat.
@0: The bear chases the rabbit.[(triple1)] The bear is green.[(triple2)] The bear likes the rabbit.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the mouse.[(triple5)] The bear needs the rabbit.[(triple6)] The cat chases the bear.[(triple7)] The cat is kind.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the mouse.[(triple10)] The mouse chases the bear.[(triple11)] The mouse is blue.[(triple12)] The mouse needs the cat.[(triple13)] The mouse needs the rabbit.[(triple14)] The rabbit is blue.[(triple15)] The rabbit is young.[(triple16)] @1: The bear likes the cat.[(((triple5) -> rule1))] The cat likes the cat.[(((triple10) -> rule1))] @2: The bear is blue.[(((triple2 ((triple5) -> rule1)) -> rule2))]