The bald eagle chases the rabbit. The bald eagle needs the cat. The bald eagle needs the rabbit. The bald eagle visits the cat. The cat is big. The cat is kind. The cat needs the bald eagle. The rabbit is big. The rabbit is cold. The rabbit needs the cat. The rabbit visits the bald eagle. The rabbit visits the cat. If something visits the cat then it needs the cat. If something visits the rabbit then the rabbit visits the bald eagle. If something visits the cat and the cat visits the bald eagle then the bald eagle visits the rabbit. If something needs the cat then it needs the rabbit. If something needs the bald eagle then it visits the cat. If the rabbit is kind and the rabbit needs the cat then the rabbit needs the bald eagle. If something is kind and it needs the rabbit then the rabbit visits the bald eagle. If something needs the rabbit then it visits the rabbit.
The cat needs the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle needs the cat.[(triple2 OR ((triple4) -> rule1))] The bald eagle needs the rabbit.[(triple3 OR ((triple2) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] The bald eagle visits the cat.[(triple4)] The cat is big.[(triple5)] The cat is kind.[(triple6)] The cat needs the bald eagle.[(triple7)] The rabbit is big.[(triple8)] The rabbit is cold.[(triple9)] The rabbit needs the cat.[(triple10 OR ((triple12) -> rule1))] The rabbit visits the bald eagle.[(triple11 OR ((((triple3) -> rule8)) -> rule2) OR ((((((triple10) -> rule4)) -> rule8)) -> rule2) OR ((((((triple2) -> rule4)) -> rule8)) -> rule2) OR ((((((((triple12) -> rule1)) -> rule4)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule1)) -> rule4)) -> rule8)) -> rule2) OR ((triple6 ((((((triple7) -> rule5)) -> rule1)) -> rule4)) -> rule7) OR ((((((((((triple7) -> rule5)) -> rule1)) -> rule4)) -> rule8)) -> rule2))] The rabbit visits the cat.[(triple12)] @1: The bald eagle visits the rabbit.[(((triple3) -> rule8) OR ((((triple2) -> rule4)) -> rule8) OR ((((((triple4) -> rule1)) -> rule4)) -> rule8))] The cat visits the cat.[(((triple7) -> rule5))] The rabbit needs the rabbit.[(((triple10) -> rule4) OR ((((triple12) -> rule1)) -> rule4))] @2: The cat needs the cat.[(((((triple7) -> rule5)) -> rule1))] The rabbit visits the rabbit.[(((((triple10) -> rule4)) -> rule8) OR ((((((triple12) -> rule1)) -> rule4)) -> rule8))] @3: The cat needs the rabbit.[(((((((triple7) -> rule5)) -> rule1)) -> rule4))] @4: The cat visits the rabbit.[(((((((((triple7) -> rule5)) -> rule1)) -> rule4)) -> rule8))]