The bald eagle is big. The cat visits the dog. The dog is round. The tiger is cold. The tiger is red. The tiger is round. The tiger does not need the cat. If something is big then it is round. If something is round and it does not need the bald eagle then it visits the tiger. If something is kind and it does not eat the bald eagle then the bald eagle needs the dog.
The cat is not round.
@0: The bald eagle is big.[(triple1)] The cat visits the dog.[(triple2)] The dog is round.[(triple3)] The tiger does not need the cat.[(triple7)] The tiger is cold.[(triple4)] The tiger is red.[(triple5)] The tiger is round.[(triple6)] @1: The bald eagle is round.[(((triple1) -> rule1))]