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