The cat eats the dog. The dog sees the cat. The rabbit is nice. The tiger sees the cat. If something is green then it eats the rabbit. If the cat eats the rabbit and the rabbit is cold then the rabbit needs the cat. If something needs the dog and it needs the cat then it eats the rabbit. If something needs the tiger and it sees the tiger then the tiger is green. If something eats the cat and the cat needs the dog then the cat needs the tiger. If something sees the cat then the cat is rough.
The dog sees the cat.
@0: The cat eats the dog.[(triple1)] The dog sees the cat.[(triple2)] The rabbit is nice.[(triple3)] The tiger sees the cat.[(triple4)] @1: The cat is rough.[(((triple2) -> rule6) OR ((triple4) -> rule6))]