The bald eagle is big. The bald eagle is nice. The cat is nice. The cat needs the tiger. The cat visits the bald eagle. The cat visits the rabbit. The rabbit eats the bald eagle. The rabbit eats the cat. The rabbit needs the tiger. The rabbit visits the cat. The rabbit visits the tiger. The tiger eats the cat. The tiger is cold. The tiger is round. If someone eats the cat then they visit the bald eagle. If someone is kind and they eat the cat then the cat needs the tiger. If the cat eats the tiger and the tiger needs the bald eagle then the tiger visits the bald eagle. If the bald eagle needs the rabbit and the rabbit eats the cat then the rabbit needs the bald eagle. If someone needs the tiger and the tiger needs the rabbit then they are kind. If someone visits the bald eagle then they are cold. If the tiger eats the cat then the tiger is big. If someone eats the bald eagle and they are cold then the bald eagle eats the cat.
The rabbit does not need the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The cat is nice.[(triple3)] The cat needs the tiger.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the rabbit.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit visits the cat.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger eats the cat.[(triple12)] The tiger is cold.[(triple13 OR ((((triple12) -> rule1)) -> rule6))] The tiger is round.[(triple14)] @1: The cat is cold.[(((triple5) -> rule6))] The rabbit visits the bald eagle.[(((triple8) -> rule1))] The tiger is big.[(((triple12) -> rule7))] The tiger visits the bald eagle.[(((triple12) -> rule1))] @2: The rabbit is cold.[(((((triple8) -> rule1)) -> rule6))] @3: The bald eagle eats the cat.[(((triple7 ((((triple8) -> rule1)) -> rule6)) -> rule8))] @4: The bald eagle visits the bald eagle.[(((((triple7 ((((triple8) -> rule1)) -> rule6)) -> rule8)) -> rule1))] @5: The bald eagle is cold.[(((((((triple7 ((((triple8) -> rule1)) -> rule6)) -> rule8)) -> rule1)) -> rule6))]