The cat is nice. The cow is big. The cow does not visit the rabbit. The rabbit is not rough. The rabbit likes the cow. The rabbit sees the cow. The rabbit sees the tiger. The tiger likes the rabbit. The tiger visits the cat. The tiger visits the cow. If someone is nice then they do not see the cat. If the cow visits the cat and the cow does not visit the rabbit then the cow is blue. If someone likes the cow and they do not like the rabbit then the rabbit visits the cat.
The rabbit is rough.
@0: The cat is nice.[(triple1)] The cow does not visit the rabbit.[(triple3)] The cow is big.[(triple2)] The rabbit is not rough.[(triple4)] The rabbit likes the cow.[(triple5)] The rabbit sees the cow.[(triple6)] The rabbit sees the tiger.[(triple7)] The tiger likes the rabbit.[(triple8)] The tiger visits the cat.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cat does not see the cat.[(((triple1) -> rule1))]