The bald eagle is blue. The bald eagle is not red. The bald eagle likes the cat. The bald eagle likes the cow. The bald eagle does not visit the tiger. The cat is kind. The cat is red. The cat needs the tiger. The cow is big. The tiger is big. The tiger is blue. The tiger likes the cow. The tiger needs the bald eagle. The tiger needs the cat. The tiger visits the bald eagle. The tiger does not visit the cow. If something likes the bald eagle then the bald eagle is not green. Big things are green. If something is blue then it needs the bald eagle. If something is green then it needs the bald eagle. If the cat likes the cow and the cat is not big then the cow needs the cat. If something is red then it visits the cat. If something visits the cat then the cat likes the bald eagle. If something likes the bald eagle then it visits the bald eagle.
The tiger is green.
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle is blue.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the cow.[(triple4)] The cat is kind.[(triple6)] The cat is red.[(triple7)] The cat needs the tiger.[(triple8)] The cow is big.[(triple9)] The tiger does not visit the cow.[(triple16)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger likes the cow.[(triple12)] The tiger needs the bald eagle.[(triple13 OR ((triple11) -> rule3) OR ((((triple10) -> rule2)) -> rule4))] The tiger needs the cat.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule3))] The cat visits the cat.[(((triple7) -> rule6))] The cow is green.[(((triple9) -> rule2))] The tiger is green.[(((triple10) -> rule2))] @2: The cat likes the bald eagle.[(((((triple7) -> rule6)) -> rule7))] The cow needs the bald eagle.[(((((triple9) -> rule2)) -> rule4))] @3: The bald eagle is not green.[(((((((triple7) -> rule6)) -> rule7)) -> rule1))] The cat visits the bald eagle.[(((((((triple7) -> rule6)) -> rule7)) -> rule8))]