The cat does not chase the tiger. The cat is big. The cat likes the tiger. The cow chases the cat. The cow likes the tiger. The cow needs the tiger. The dog chases the cow. The dog is kind. The dog likes the cow. The tiger is nice. The tiger is young. The tiger likes the cat. The tiger does not like the dog. The tiger does not need the cat. If someone likes the tiger then they are cold. If someone chases the dog then the dog is not kind. If the dog likes the cow and the cow likes the dog then the dog is cold. If someone is cold then they like the cat. If the cow is big and the cow likes the cat then the cat needs the dog. If the tiger is kind and the tiger needs the cat then the cat needs the dog. If someone is nice then they chase the tiger. If someone needs the dog and they like the tiger then the dog is nice. If someone chases the cow then the cow is big.
The tiger is cold.
@0: The cat does not chase the tiger.[(triple1)] The cat is big.[(triple2)] The cat likes the tiger.[(triple3)] The cow chases the cat.[(triple4)] The cow likes the tiger.[(triple5)] The cow needs the tiger.[(triple6)] The dog chases the cow.[(triple7)] The dog is kind.[(triple8)] The dog likes the cow.[(triple9)] The tiger does not like the dog.[(triple13)] The tiger does not need the cat.[(triple14)] The tiger is nice.[(triple10)] The tiger is young.[(triple11)] The tiger likes the cat.[(triple12)] @1: The cat is cold.[(((triple3) -> rule1))] The cow is big.[(((triple7) -> rule9))] The cow is cold.[(((triple5) -> rule1))] The tiger chases the tiger.[(((triple10) -> rule7))] @2: The cat likes the cat.[(((((triple3) -> rule1)) -> rule4))] The cow likes the cat.[(((((triple5) -> rule1)) -> rule4))] @3: The cat needs the dog.[(((((triple7) -> rule9) ((((triple5) -> rule1)) -> rule4)) -> rule5))] @4: The dog is nice.[(((((((triple7) -> rule9) ((((triple5) -> rule1)) -> rule4)) -> rule5) triple3) -> rule8))] @5: The dog chases the tiger.[(((((((((triple7) -> rule9) ((((triple5) -> rule1)) -> rule4)) -> rule5) triple3) -> rule8)) -> rule7))]