The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is big. The cat is big. The cat is rough. The cat is young. The cow needs the tiger. The cow visits the bald eagle. The tiger chases the cow. The tiger is young. The tiger needs the cat. The tiger visits the cow. If someone needs the tiger and they are big then they chase the tiger. If someone is young then they visit the bald eagle. If someone is rough then they are round. If someone is young and they chase the cat then the cat is red. If someone visits the tiger and they need the tiger then they visit the bald eagle. If someone visits the bald eagle and they are big then the bald eagle is young. If someone needs the cat then they visit the cow. If someone chases the cow then the cow needs the bald eagle.
The cat is red.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle is big.[(triple3)] The cat is big.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cow needs the tiger.[(triple7)] The cow visits the bald eagle.[(triple8)] The tiger chases the cow.[(triple9)] The tiger is young.[(triple10)] The tiger needs the cat.[(triple11)] The tiger visits the cow.[(triple12 OR ((triple11) -> rule7))] @1: The cat is round.[(((triple5) -> rule3))] The cat visits the bald eagle.[(((triple6) -> rule2))] The cow needs the bald eagle.[(((triple2) -> rule8) OR ((triple9) -> rule8))] The tiger visits the bald eagle.[(((triple10) -> rule2))] @2: The bald eagle is young.[(((((triple6) -> rule2) triple4) -> rule6))] @3: The bald eagle visits the bald eagle.[(((((((triple6) -> rule2) triple4) -> rule6)) -> rule2))] The cat is red.[(((((((triple6) -> rule2) triple4) -> rule6) triple1) -> rule4))]