The bald eagle is blue. The bald eagle is kind. The bald eagle likes the cat. The bald eagle does not visit the tiger. The cat chases the mouse. The cat is green. The cat likes the bald eagle. The cat likes the mouse. The cat does not like the tiger. The mouse likes the cat. The tiger chases the cat. The tiger chases the mouse. The tiger is red. The tiger likes the cat. The tiger visits the cat. The tiger visits the mouse. If something likes the bald eagle then it is blue. If something visits the bald eagle and it visits the cat then the bald eagle is red. If something chases the mouse then it visits the cat. If something is blue then it chases the tiger. If something visits the cat and the cat chases the tiger then the tiger likes the bald eagle. If something likes the tiger then the tiger likes the bald eagle. If something chases the mouse then it visits the mouse.
The mouse chases the bald eagle.
@0: The bald eagle does not visit the tiger.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the cat.[(triple3)] The cat chases the mouse.[(triple5)] The cat does not like the tiger.[(triple9)] The cat is green.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat likes the mouse.[(triple8)] The mouse likes the cat.[(triple10)] The tiger chases the cat.[(triple11)] The tiger chases the mouse.[(triple12)] The tiger is red.[(triple13)] The tiger likes the cat.[(triple14)] The tiger visits the cat.[(triple15 OR ((triple12) -> rule3))] The tiger visits the mouse.[(triple16 OR ((triple12) -> rule7))] @1: The bald eagle chases the tiger.[(((triple1) -> rule4))] The cat is blue.[(((triple7) -> rule1))] The cat visits the cat.[(((triple5) -> rule3))] The cat visits the mouse.[(((triple5) -> rule7))] @2: The cat chases the tiger.[(((((triple7) -> rule1)) -> rule4))] @3: The tiger likes the bald eagle.[(((triple15 ((((triple7) -> rule1)) -> rule4)) -> rule5) OR ((((triple12) -> rule3) ((((triple7) -> rule1)) -> rule4)) -> rule5) OR ((((triple5) -> rule3) ((((triple7) -> rule1)) -> rule4)) -> rule5))] @4: The tiger is blue.[(((((triple15 ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple12) -> rule3) ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple5) -> rule3) ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1))] @5: The tiger chases the tiger.[(((((((triple15 ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1)) -> rule4) OR ((((((((triple12) -> rule3) ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3) ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1)) -> rule4))]