The bald eagle is kind. The bald eagle is red. The bald eagle needs the dog. The bald eagle visits the tiger. The dog is big. The dog likes the lion. The dog likes the tiger. The dog needs the lion. The dog needs the tiger. The dog visits the bald eagle. The lion is red. The lion likes the bald eagle. The tiger is big. The tiger is kind. If something needs the lion then it is blue. If something likes the tiger then the tiger needs the lion. If something likes the bald eagle then the bald eagle needs the lion. If something is red and big then it visits the lion. If something visits the dog and it is kind then it likes the tiger. If something likes the tiger then it is big. If something needs the lion and it visits the tiger then the tiger is red. If something visits the lion then it visits the dog. If something likes the bald eagle then it is cold.
The dog likes the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle visits the tiger.[(triple4)] The dog is big.[(triple5 OR ((triple7) -> rule6))] The dog likes the lion.[(triple6)] The dog likes the tiger.[(triple7)] The dog needs the lion.[(triple8)] The dog needs the tiger.[(triple9)] The dog visits the bald eagle.[(triple10)] The lion is red.[(triple11)] The lion likes the bald eagle.[(triple12)] The tiger is big.[(triple13)] The tiger is kind.[(triple14)] @1: The bald eagle needs the lion.[(((triple12) -> rule3))] The dog is blue.[(((triple8) -> rule1))] The lion is cold.[(((triple12) -> rule9))] The tiger needs the lion.[(((triple7) -> rule2) OR ((((((((((((triple12) -> rule3) triple4) -> rule7) triple13) -> rule4)) -> rule8) triple14) -> rule5)) -> rule2))] @2: The bald eagle is blue.[(((((triple12) -> rule3)) -> rule1))] The tiger is blue.[(((((triple7) -> rule2)) -> rule1) OR ((((((((((((((triple12) -> rule3) triple4) -> rule7) triple13) -> rule4)) -> rule8) triple14) -> rule5)) -> rule2)) -> rule1))] The tiger is red.[(((((triple12) -> rule3) triple4) -> rule7))] @3: The tiger visits the lion.[(((((((triple12) -> rule3) triple4) -> rule7) triple13) -> rule4))] @4: The tiger visits the dog.[(((((((((triple12) -> rule3) triple4) -> rule7) triple13) -> rule4)) -> rule8))] @5: The tiger likes the tiger.[(((((((((((triple12) -> rule3) triple4) -> rule7) triple13) -> rule4)) -> rule8) triple14) -> rule5))]