The cat likes the tiger. The mouse is rough. The rabbit likes the cat. The tiger needs the cat. If someone likes the rabbit then the rabbit is nice. If someone likes the tiger then the tiger chases the mouse. If someone needs the cat and the cat likes the tiger then they chase the tiger. If someone is cold and they need the rabbit then the rabbit likes the mouse. If someone likes the tiger then they need the rabbit. If the rabbit needs the mouse and the rabbit needs the tiger then the mouse needs the cat. If the cat likes the rabbit and the cat is rough then the cat is nice. If someone is round and they like the tiger then the tiger is cold.
The tiger needs the cat.
@0: The cat likes the tiger.[(triple1)] The mouse is rough.[(triple2)] The rabbit likes the cat.[(triple3)] The tiger needs the cat.[(triple4)] @1: The cat needs the rabbit.[(((triple1) -> rule5))] The tiger chases the mouse.[(((triple1) -> rule2))] The tiger chases the tiger.[(((triple4 triple1) -> rule3))]