The bald eagle eats the cat. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle needs the tiger. The bald eagle visits the cat. The cat eats the tiger. The cat is rough. The cat is round. The cat needs the bald eagle. The tiger is kind. The tiger is rough. The tiger needs the bald eagle. The tiger needs the cat. The tiger visits the cat. If the bald eagle needs the tiger and the bald eagle eats the tiger then the bald eagle needs the cat. If the bald eagle is rough and the bald eagle eats the tiger then the tiger eats the bald eagle. If someone eats the tiger and they are kind then the tiger visits the cat. If someone needs the tiger then the tiger is kind. If someone visits the tiger then the tiger eats the cat. If someone eats the cat then the cat is blue. If the cat is blue then the cat eats the bald eagle. If someone eats the cat and the cat eats the bald eagle then the cat needs the tiger.
The cat is blue.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle needs the tiger.[(triple6)] The bald eagle visits the cat.[(triple7)] The cat eats the tiger.[(triple8)] The cat is rough.[(triple9)] The cat is round.[(triple10)] The cat needs the bald eagle.[(triple11)] The tiger is kind.[(triple12 OR ((triple6) -> rule4) OR ((((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule8)) -> rule4))] The tiger is rough.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger needs the cat.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat is blue.[(((triple1) -> rule6))] @2: The cat eats the bald eagle.[(((((triple1) -> rule6)) -> rule7))] @3: The cat needs the tiger.[(((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule8))]