The cow is cold. The dog is big. The lion visits the dog. The rabbit is nice. If someone visits the dog then they are big. If someone is nice then they need the lion. If the lion is cold and the lion is rough then the lion sees the cow. If someone sees the rabbit and they visit the lion then the lion sees the rabbit. If the dog is big and the dog sees the lion then the lion is blue. If someone visits the rabbit then they are nice.
The dog is not big.
@0: The cow is cold.[(triple1)] The dog is big.[(triple2)] The lion visits the dog.[(triple3)] The rabbit is nice.[(triple4)] @1: The lion is big.[(((triple3) -> rule1))] The rabbit needs the lion.[(((triple4) -> rule2))]