The bald eagle chases the tiger. The bald eagle is not green. The bald eagle is young. The bald eagle likes the tiger. The bald eagle visits the tiger. The cow does not chase the bald eagle. The cow visits the bald eagle. The cow visits the tiger. The tiger chases the cow. The tiger likes the bald eagle. The tiger likes the cow. The tiger does not visit the cow. If someone visits the bald eagle and the bald eagle likes the cow then the cow is not cold. If the cow visits the tiger and the cow is green then the tiger chases the bald eagle. If someone likes the tiger and the tiger is not young then the tiger chases the bald eagle. If someone is cold then they like the cow. If someone chases the tiger then they are cold. If someone visits the cow and the cow does not chase the bald eagle then the bald eagle is young.
The tiger is not rough.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the tiger.[(triple5)] The cow does not chase the bald eagle.[(triple6)] The cow visits the bald eagle.[(triple7)] The cow visits the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger does not visit the cow.[(triple12)] The tiger likes the bald eagle.[(triple10)] The tiger likes the cow.[(triple11)] @1: The bald eagle is cold.[(((triple1) -> rule5))] @2: The bald eagle likes the cow.[(((((triple1) -> rule5)) -> rule4))] @3: The cow is not cold.[(((triple7 ((((triple1) -> rule5)) -> rule4)) -> rule1))]