The bear needs the cat. The cat needs the tiger. The cow eats the tiger. The cow is nice. The tiger is kind. The tiger is nice. The tiger is red. If someone is nice and they eat the tiger then they need the tiger.
The cow is round.
@0: The bear needs the cat.[(triple1)] The cat needs the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The cow is nice.[(triple4)] The tiger is kind.[(triple5)] The tiger is nice.[(triple6)] The tiger is red.[(triple7)] @1: The cow needs the tiger.[(((triple4 triple3) -> rule1))]