The bald eagle is big. The bald eagle is green. The bald eagle sees the tiger. The bald eagle visits the cat. The bear chases the tiger. The bear sees the cat. The cat chases the bald eagle. The cat is cold. The cat visits the bald eagle. The tiger is round. If someone chases the tiger then they are young. If someone chases the cat then the cat chases the bear. If someone visits the bald eagle then the bald eagle sees the cat.
The bald eagle is green.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the cat.[(triple4)] The bear chases the tiger.[(triple5)] The bear sees the cat.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat is cold.[(triple8)] The cat visits the bald eagle.[(triple9)] The tiger is round.[(triple10)] @1: The bald eagle sees the cat.[(((triple9) -> rule3))] The bear is young.[(((triple5) -> rule1))]