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