The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle is big. The bald eagle likes the cow. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle sees the cow. The bald eagle sees the lion. The cow is big. The cow is rough. The lion eats the bald eagle. The lion is blue. The lion likes the cow. The mouse eats the bald eagle. The mouse is red. The mouse likes the bald eagle. If something is cold then it is red. If the bald eagle likes the mouse and the bald eagle likes the cow then the cow is cold.
The cow is not cold.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the lion.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle sees the cow.[(triple7)] The bald eagle sees the lion.[(triple8)] The cow is big.[(triple9)] The cow is rough.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion is blue.[(triple12)] The lion likes the cow.[(triple13)] The mouse eats the bald eagle.[(triple14)] The mouse is red.[(triple15)] The mouse likes the bald eagle.[(triple16)] @1: The cow is cold.[(((triple6 triple4) -> rule2))] @2: The cow is red.[(((((triple6 triple4) -> rule2)) -> rule1))]