The bald eagle is green. The bald eagle likes the bear. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle sees the bear. The bear likes the bald eagle. The bear sees the cat. The cat likes the bear. The cat likes the tiger. The cat sees the bald eagle. The tiger chases the bald eagle. The tiger chases the bear. The tiger chases the cat. The tiger is big. The tiger is red. The tiger sees the cat. If something chases the tiger then it likes the cat. If something is kind then it is red. If something likes the tiger then the tiger chases the bald eagle. If something is red then it is kind. If something is kind then it sees the bald eagle. If the tiger sees the cat and the tiger likes the bear then the tiger chases the cat. If the cat likes the tiger and the tiger sees the bald eagle then the bald eagle is red. If something chases the bald eagle then the bald eagle chases the bear. If something chases the bear and the bear chases the bald eagle then it is blue.
The tiger chases the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear sees the cat.[(triple7)] The cat likes the bear.[(triple8)] The cat likes the tiger.[(triple9)] The cat sees the bald eagle.[(triple10)] The tiger chases the bald eagle.[(triple11 OR ((triple4) -> rule3) OR ((triple9) -> rule3))] The tiger chases the bear.[(triple12)] The tiger chases the cat.[(triple13)] The tiger is big.[(triple14)] The tiger is red.[(triple15)] The tiger sees the cat.[(triple16)] @1: The bald eagle chases the bear.[(((triple11) -> rule8) OR ((((triple4) -> rule3)) -> rule8) OR ((((triple9) -> rule3)) -> rule8))] The tiger is kind.[(((triple15) -> rule4))] @2: The tiger sees the bald eagle.[(((((triple15) -> rule4)) -> rule5))] @3: The bald eagle is red.[(((triple9 ((((triple15) -> rule4)) -> rule5)) -> rule7))] @4: The bald eagle is kind.[(((((triple9 ((((triple15) -> rule4)) -> rule5)) -> rule7)) -> rule4))] @5: The bald eagle sees the bald eagle.[(((((((triple9 ((((triple15) -> rule4)) -> rule5)) -> rule7)) -> rule4)) -> rule5))]