The cat chases the rabbit. The cat is kind. The cat is red. The cat is rough. The cat visits the mouse. The mouse chases the cat. The mouse chases the rabbit. The mouse eats the rabbit. The mouse is red. The mouse is rough. The mouse visits the cat. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit eats the cat. The rabbit eats the mouse. The rabbit is red. If something visits the rabbit and it visits the cat then the rabbit chases the cat. If something chases the cat then it visits the mouse.
The mouse is round.
@0: The cat chases the rabbit.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat visits the mouse.[(triple5)] The mouse chases the cat.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse visits the cat.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit eats the cat.[(triple14)] The rabbit eats the mouse.[(triple15)] The rabbit is red.[(triple16)] @1: The mouse visits the mouse.[(((triple6) -> rule2))] The rabbit chases the cat.[(((triple12 triple11) -> rule1))] @2: The rabbit visits the mouse.[(((((triple12 triple11) -> rule1)) -> rule2))]