The cat is blue. The cat is cold. The cat needs the tiger. The cat sees the tiger. The cat does not visit the tiger. The tiger is blue. The tiger is green. The tiger is kind. The tiger is red. The tiger needs the cat. The tiger sees the cat. The tiger visits the cat. All red people are green. If someone visits the tiger and they are green then the tiger sees the cat. If the tiger is red then the tiger is green. If someone needs the tiger and they see the tiger then the tiger needs the cat. If the cat needs the tiger then the tiger is red. If someone is red and they do not see the cat then they visit the cat.
The tiger visits the tiger.
@0: The cat does not visit the tiger.[(triple5)] The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The tiger is blue.[(triple6)] The tiger is green.[(triple7 OR ((triple9) -> rule1) OR ((triple9) -> rule3) OR ((((triple3) -> rule5)) -> rule1) OR ((((triple3) -> rule5)) -> rule3))] The tiger is kind.[(triple8)] The tiger is red.[(triple9 OR ((triple3) -> rule5))] The tiger needs the cat.[(triple10 OR ((triple3 triple4) -> rule4))] The tiger sees the cat.[(triple11)] The tiger visits the cat.[(triple12)]