The bear likes the cat. The bear likes the mouse. The bear visits the tiger. The cat is blue. The cat is cold. The cat is kind. The cat likes the mouse. The cat likes the tiger. The cat visits the tiger. The mouse needs the tiger. The tiger is green. The tiger likes the bear. If the cat is cold then the cat needs the mouse. If someone needs the mouse then they like the cat.
The cat does not like the cat.
@0: The bear likes the cat.[(triple1)] The bear likes the mouse.[(triple2)] The bear visits the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5)] The cat is kind.[(triple6)] The cat likes the mouse.[(triple7)] The cat likes the tiger.[(triple8)] The cat visits the tiger.[(triple9)] The mouse needs the tiger.[(triple10)] The tiger is green.[(triple11)] The tiger likes the bear.[(triple12)] @1: The cat needs the mouse.[(((triple5) -> rule1))] @2: The cat likes the cat.[(((((triple5) -> rule1)) -> rule2))]