The cat is kind. The cat likes the tiger. The cat visits the tiger. The mouse eats the cat. The mouse eats the rabbit. The mouse is green. The mouse is young. The mouse visits the cat. The rabbit eats the mouse. The rabbit likes the cat. The rabbit likes the tiger. The tiger is rough. The tiger is young. The tiger likes the cat. The tiger likes the rabbit. If something is young and it eats the mouse then the mouse is green. If the cat is young and the cat likes the mouse then the cat eats the rabbit. If something is kind then it likes the cat. If something is green then it eats the rabbit. If something is young and it visits the mouse then the mouse eats the tiger. If something visits the tiger and it likes the cat then the tiger is green.
The mouse does not like the cat.
@0: The cat is kind.[(triple1)] The cat likes the tiger.[(triple2)] The cat visits the tiger.[(triple3)] The mouse eats the cat.[(triple4)] The mouse eats the rabbit.[(triple5 OR ((triple6) -> rule4))] The mouse is green.[(triple6)] The mouse is young.[(triple7)] The mouse visits the cat.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the tiger.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cat.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The cat likes the cat.[(((triple1) -> rule3))] @2: The tiger is green.[(((triple3 ((triple1) -> rule3)) -> rule6))] @3: The tiger eats the rabbit.[(((((triple3 ((triple1) -> rule3)) -> rule6)) -> rule4))]