The cat is not cold. The cat likes the cow. The cat needs the tiger. The cat sees the cow. The cat sees the tiger. The cow is cold. The cow does not like the cat. The cow does not see the cat. The cow sees the tiger. The tiger is blue. The tiger is green. The tiger is kind. The tiger does not like the cat. The tiger does not like the cow. The tiger sees the cat. The tiger sees the cow. If something needs the cow then it does not like the cat. If something is green and it does not need the cat then it does not see the cat. If something is green then it is kind. If something is blue then it needs the cow. If something sees the cow then it sees the tiger. If something needs the cat and the cat is rough then the cat needs the cow. If something is kind and it sees the tiger then it is not cold. If the tiger needs the cow and the tiger does not like the cat then the cow sees the tiger.
The cow is not kind.
@0: The cat is not cold.[(triple1)] The cat likes the cow.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the tiger.[(triple5 OR ((triple4) -> rule5))] The cow does not like the cat.[(triple7)] The cow does not see the cat.[(triple8)] The cow is cold.[(triple6)] The cow sees the tiger.[(triple9 OR ((((triple10) -> rule4) triple13) -> rule8) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule1)) -> rule8))] The tiger does not like the cat.[(triple13 OR ((((triple10) -> rule4)) -> rule1))] The tiger does not like the cow.[(triple14)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12 OR ((triple11) -> rule3))] The tiger sees the cat.[(triple15)] The tiger sees the cow.[(triple16)] @1: The tiger needs the cow.[(((triple10) -> rule4))] The tiger sees the tiger.[(((triple16) -> rule5))] @2: The tiger is not cold.[(((triple12 ((triple16) -> rule5)) -> rule7) OR ((((triple11) -> rule3) ((triple16) -> rule5)) -> rule7))]