The bald eagle is blue. The bald eagle likes the lion. The bald eagle needs the cat. The bald eagle needs the mouse. The cat is blue. The lion is blue. The lion is cold. The lion likes the bald eagle. The lion likes the cat. The lion needs the cat. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse needs the bald eagle. If someone is kind and they like the bald eagle then they are nice. If someone is cold and kind then they do not like the mouse.
The cat visits the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the mouse.[(triple4)] The cat is blue.[(triple5)] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion likes the cat.[(triple9)] The lion needs the cat.[(triple10)] The mouse is blue.[(triple11)] The mouse is cold.[(triple12)] The mouse is green.[(triple13)] The mouse is kind.[(triple14)] The mouse needs the bald eagle.[(triple15)] @1: The mouse does not like the mouse.[(((triple12 triple14) -> rule2))]