The bald eagle is round. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle needs the cat. The bald eagle needs the lion. The bald eagle visits the cat. The bald eagle visits the lion. The cat is cold. The cat likes the lion. The cat needs the bald eagle. The cat needs the lion. The cat visits the bald eagle. The lion is rough. The lion likes the bald eagle. The lion visits the cat. If someone is blue and they need the bald eagle then the bald eagle needs the cat. If someone needs the cat and the cat is round then the cat visits the lion. If someone likes the cat then they like the lion.
The bald eagle likes the bald eagle.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the lion.[(triple3 OR ((triple2) -> rule3))] The bald eagle needs the cat.[(triple4)] The bald eagle needs the lion.[(triple5)] The bald eagle visits the cat.[(triple6)] The bald eagle visits the lion.[(triple7)] The cat is cold.[(triple8)] The cat likes the lion.[(triple9)] The cat needs the bald eagle.[(triple10)] The cat needs the lion.[(triple11)] The cat visits the bald eagle.[(triple12)] The lion is rough.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion visits the cat.[(triple15)]