The cat visits the mouse. The mouse eats the cat. The mouse is round. The mouse likes the rabbit. The mouse does not visit the cat. The mouse does not visit the rabbit. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit likes the cat. The rabbit likes the mouse. The rabbit visits the cat. If the rabbit likes the mouse then the rabbit eats the cat. If someone eats the cat then they do not visit the mouse. If the rabbit is green and the rabbit is not red then the rabbit does not like the cat. If someone is green then they visit the cat. If someone likes the rabbit and they are red then they are not young. If someone likes the cat and they do not visit the mouse then the cat likes the rabbit. If someone eats the rabbit and they do not visit the cat then the cat eats the rabbit. If someone likes the mouse and they are young then the mouse likes the cat.
The cat visits the rabbit.
@0: The cat visits the mouse.[(triple1)] The mouse does not visit the cat.[(triple5)] The mouse does not visit the rabbit.[(triple6)] The mouse eats the cat.[(triple2)] The mouse is round.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit is red.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is round.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The mouse does not visit the mouse.[(((triple2) -> rule2))] The rabbit eats the cat.[(((triple11) -> rule1))] @2: The rabbit does not visit the mouse.[(((((triple11) -> rule1)) -> rule2))] @3: The cat likes the rabbit.[(((triple10 ((((triple11) -> rule1)) -> rule2)) -> rule6))]