The cat chases the tiger. The cat eats the dog. The cat is cold. The cat is kind. The cat sees the tiger. The dog chases the cat. The dog is kind. The dog is nice. The dog is red. The tiger chases the cat. The tiger eats the cat. The tiger eats the dog. The tiger is big. The tiger is cold. The tiger sees the cat. If the tiger eats the dog then the tiger sees the cat. If someone eats the tiger and they are red then the tiger sees the dog. If someone eats the dog and they eat the cat then the cat is kind. All big people are cold. If someone is big then they see the tiger. If someone sees the dog then they see the cat.
The dog is not red.
@0: The cat chases the tiger.[(triple1)] The cat eats the dog.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4 OR ((triple12 triple11) -> rule3))] The cat sees the tiger.[(triple5)] The dog chases the cat.[(triple6)] The dog is kind.[(triple7)] The dog is nice.[(triple8)] The dog is red.[(triple9)] The tiger chases the cat.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the dog.[(triple12)] The tiger is big.[(triple13)] The tiger is cold.[(triple14 OR ((triple13) -> rule4))] The tiger sees the cat.[(triple15 OR ((triple12) -> rule1))] @1: The tiger sees the tiger.[(((triple13) -> rule5))]