The cow does not visit the lion. The lion is rough. The lion does not see the tiger. The rabbit is blue. The rabbit is nice. The rabbit does not visit the cow. The tiger is blue. If the cow needs the rabbit then the rabbit does not visit the lion. If something visits the rabbit and it does not need the lion then it sees the lion. If the rabbit needs the cow then the cow visits the rabbit. If something is nice then it needs the cow. If something is blue then it visits the lion. If something sees the tiger and it does not visit the rabbit then the tiger is cold.
The cow is blue.
@0: The cow does not visit the lion.[(triple1)] The lion does not see the tiger.[(triple3)] The lion is rough.[(triple2)] The rabbit does not visit the cow.[(triple6)] The rabbit is blue.[(triple4)] The rabbit is nice.[(triple5)] The tiger is blue.[(triple7)] @1: The rabbit needs the cow.[(((triple5) -> rule4))] The rabbit visits the lion.[(((triple4) -> rule5))] The tiger visits the lion.[(((triple7) -> rule5))] @2: The cow visits the rabbit.[(((((triple5) -> rule4)) -> rule3))]