The cat is big. The cat is blue. The cat sees the cow. The cow chases the tiger. The dog chases the cow. The tiger is blue. The tiger is rough. If someone eats the dog then they see the tiger. If someone is blue and they chase the dog then they chase the cat. If someone chases the cow then the cow eats the dog.
The cat is not big.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat sees the cow.[(triple3)] The cow chases the tiger.[(triple4)] The dog chases the cow.[(triple5)] The tiger is blue.[(triple6)] The tiger is rough.[(triple7)] @1: The cow eats the dog.[(((triple5) -> rule3))] @2: The cow sees the tiger.[(((((triple5) -> rule3)) -> rule1))]