The bald eagle is young. The bald eagle likes the bear. The bald eagle visits the cat. The bear is cold. The bear visits the cat. The cat is rough. The cat is not young. The cat likes the bald eagle. The cat likes the bear. The cat visits the bald eagle. If someone sees the bear then they like the bald eagle. If someone sees the cat and the cat is not young then they like the cat. If someone is red and rough then they like the cat. If the bear visits the bald eagle and the bear is rough then the bear sees the cat. If someone visits the cat then the cat is cold. If someone sees the bear and they are young then they are not green. If the bald eagle likes the bear and the bald eagle does not like the cat then the bear is green. If someone visits the bear then the bear is green.
The bald eagle is young.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle visits the cat.[(triple3)] The bear is cold.[(triple4)] The bear visits the cat.[(triple5)] The cat is not young.[(triple7)] The cat is rough.[(triple6)] The cat likes the bald eagle.[(triple8)] The cat likes the bear.[(triple9)] The cat visits the bald eagle.[(triple10)] @1: The cat is cold.[(((triple3) -> rule5) OR ((triple5) -> rule5))]