The bald eagle is blue. The mouse is cold. The mouse is red. The rabbit chases the mouse. The rabbit is blue. The rabbit is kind. The rabbit is red. The tiger chases the rabbit. The tiger sees the mouse. The tiger visits the mouse. All cold things are kind. If something sees the tiger and it chases the bald eagle then the bald eagle visits the mouse. If something sees the mouse then it sees the tiger. If something chases the tiger then it visits the mouse. If something is kind then it visits the bald eagle. If something visits the bald eagle then the bald eagle is kind. If something chases the bald eagle and it is red then it visits the bald eagle. If something is blue and it visits the rabbit then it visits the tiger.
The rabbit visits the rabbit.
@0: The bald eagle is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is red.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is red.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The mouse is kind.[(((triple2) -> rule1))] The rabbit visits the bald eagle.[(((triple6) -> rule5))] The tiger sees the tiger.[(((triple9) -> rule3))] @2: The bald eagle is kind.[(((((triple6) -> rule5)) -> rule6) OR ((((((triple2) -> rule1)) -> rule5)) -> rule6))] The mouse visits the bald eagle.[(((((triple2) -> rule1)) -> rule5))] @3: The bald eagle visits the bald eagle.[(((((((triple6) -> rule5)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6)) -> rule5))]