The cat eats the cow. The cat eats the tiger. The cat is cold. The cat is kind. The cat likes the cow. The cat likes the tiger. The cat sees the cow. The cat sees the tiger. The cow is cold. The tiger is cold. The tiger sees the cat. The tiger sees the cow. If the cow is kind and the cow sees the cat then the cow is cold. All kind things are red. Red things are blue.
The tiger does not see the cat.
@0: The cat eats the cow.[(triple1)] The cat eats the tiger.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat likes the cow.[(triple5)] The cat likes the tiger.[(triple6)] The cat sees the cow.[(triple7)] The cat sees the tiger.[(triple8)] The cow is cold.[(triple9)] The tiger is cold.[(triple10)] The tiger sees the cat.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cat is red.[(((triple4) -> rule2))] @2: The cat is blue.[(((((triple4) -> rule2)) -> rule3))]