The cat eats the tiger. The cat is rough. The tiger chases the cat. The tiger eats the cat. The tiger is cold. The tiger is green. The tiger is rough. Cold things are round. If something chases the tiger then the tiger eats the cat.
The cat is not round.
@0: The cat eats the tiger.[(triple1)] The cat is rough.[(triple2)] The tiger chases the cat.[(triple3)] The tiger eats the cat.[(triple4)] The tiger is cold.[(triple5)] The tiger is green.[(triple6)] The tiger is rough.[(triple7)] @1: The tiger is round.[(((triple5) -> rule1))]