The bald eagle is kind. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle needs the cat. The bald eagle sees the tiger. The cat is kind. The cat is young. The cat likes the tiger. The cat sees the tiger. The tiger is big. The tiger is rough. The tiger likes the cat. The tiger needs the cat. The tiger sees the bald eagle. The tiger sees the cat. If something sees the tiger then it is kind. If something needs the bald eagle and the bald eagle likes the tiger then the tiger likes the cat.
The bald eagle is kind.
@0: The bald eagle is kind.[(triple1 OR ((triple5) -> rule1))] The bald eagle likes the cat.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle sees the tiger.[(triple5)] The cat is kind.[(triple6 OR ((triple9) -> rule1))] The cat is young.[(triple7)] The cat likes the tiger.[(triple8)] The cat sees the tiger.[(triple9)] The tiger is big.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the cat.[(triple12)] The tiger needs the cat.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the cat.[(triple15)]