The bald eagle chases the cat. The bald eagle chases the dog. The bald eagle is big. The bald eagle likes the dog. The cat is cold. The dog eats the bald eagle. The dog eats the cat. The dog is big. The dog is cold. The dog likes the cat. If something chases the dog then the dog eats the bald eagle. If something is young and it chases the dog then it likes the bald eagle.
The dog does not like the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle likes the dog.[(triple4)] The cat is cold.[(triple5)] The dog eats the bald eagle.[(triple6 OR ((triple2) -> rule1))] The dog eats the cat.[(triple7)] The dog is big.[(triple8)] The dog is cold.[(triple9)] The dog likes the cat.[(triple10)]