The bald eagle likes the tiger. The bald eagle needs the bear. The bald eagle visits the tiger. The bear is blue. The bear does not like the tiger. The bear needs the cat. The bear visits the cat. The bear visits the tiger. The cat is not blue. The cat needs the bear. The cat needs the tiger. The cat visits the bald eagle. The cat does not visit the bear. The tiger is big. The tiger is blue. If someone visits the bald eagle and they are red then they visit the tiger. If someone likes the bear and they do not like the bald eagle then the bear does not need the cat. If someone needs the bear then they like the tiger. If someone likes the bald eagle and they are not rough then they do not need the cat. If someone visits the bear and the bear needs the tiger then they need the tiger. If someone visits the bald eagle then the bald eagle is nice.
The tiger does not visit the tiger.
@0: The bald eagle likes the tiger.[(triple1 OR ((triple2) -> rule3))] The bald eagle needs the bear.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear does not like the tiger.[(triple5)] The bear is blue.[(triple4)] The bear needs the cat.[(triple6)] The bear visits the cat.[(triple7)] The bear visits the tiger.[(triple8)] The cat does not visit the bear.[(triple13)] The cat is not blue.[(triple9)] The cat needs the bear.[(triple10)] The cat needs the tiger.[(triple11)] The cat visits the bald eagle.[(triple12)] The tiger is big.[(triple14)] The tiger is blue.[(triple15)] @1: The bald eagle is nice.[(((triple12) -> rule6))] The cat likes the tiger.[(((triple10) -> rule3))]