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