The cat is big. The cat is not nice. The cat is rough. The cat needs the rabbit. The cat needs the tiger. The rabbit chases the tiger. The rabbit needs the cat. The tiger does not chase the cat. The tiger does not chase the rabbit. The tiger is not nice. If something sees the cat and it is rough then the cat needs the tiger. If the cat is nice then the cat is big. If something chases the tiger then the tiger is cold.
The cat is not big.
@0: The cat is big.[(triple1)] The cat is not nice.[(triple2)] The cat is rough.[(triple3)] The cat needs the rabbit.[(triple4)] The cat needs the tiger.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit needs the cat.[(triple7)] The tiger does not chase the cat.[(triple8)] The tiger does not chase the rabbit.[(triple9)] The tiger is not nice.[(triple10)] @1: The tiger is cold.[(((triple6) -> rule3))]