The bald eagle is red. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle visits the tiger. The cat chases the bald eagle. The cat is nice. The cat is young. The cat visits the bald eagle. The tiger chases the bald eagle. The tiger chases the cat. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. The tiger likes the bald eagle. The tiger likes the cat. Red people are green. If the cat visits the bald eagle and the bald eagle likes the cat then the bald eagle is green.
The tiger chases the tiger.
@0: The bald eagle is red.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is nice.[(triple6)] The cat is young.[(triple7)] The cat visits the bald eagle.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cat.[(triple10)] The tiger is green.[(triple11 OR ((triple13) -> rule1))] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger likes the cat.[(triple16)] @1: The bald eagle is green.[(((triple1) -> rule1) OR ((triple8 triple2) -> rule2))]