The cat chases the tiger. The cat is big. The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat likes the tiger. The cat needs the tiger. The tiger chases the cat. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger likes the cat. The tiger needs the cat. If someone likes the cat and the cat likes the tiger then they chase the cat. If someone chases the tiger then they need the tiger. If someone chases the cat and they like the cat then they chase the tiger. If someone is blue and they chase the tiger then they like the tiger. Big people are green. If someone is green and they need the tiger then they are cold. If someone needs the cat then the cat is kind. If someone needs the tiger then they chase the tiger.
The cat does not need the tiger.
@0: The cat chases the tiger.[(triple1 OR ((triple8) -> rule8))] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4 OR ((triple5 triple8) -> rule6) OR ((triple5 ((triple1) -> rule2)) -> rule6) OR ((((triple2) -> rule5) triple8) -> rule6) OR ((((triple2) -> rule5) ((triple1) -> rule2)) -> rule6))] The cat is green.[(triple5 OR ((triple2) -> rule5))] The cat is kind.[(triple6 OR ((triple15) -> rule7))] The cat likes the tiger.[(triple7 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple8) -> rule8)) -> rule4))] The cat needs the tiger.[(triple8 OR ((triple1) -> rule2))] The tiger chases the cat.[(triple9 OR ((triple14 triple7) -> rule1) OR ((triple14 ((triple3 triple1) -> rule4)) -> rule1) OR ((triple14 ((triple3 ((triple8) -> rule8)) -> rule4)) -> rule1))] The tiger is blue.[(triple10)] The tiger is cold.[(triple11 OR ((triple12 ((((triple9 triple14) -> rule3)) -> rule2)) -> rule6) OR ((triple12 ((((((triple14 triple7) -> rule1) triple14) -> rule3)) -> rule2)) -> rule6) OR ((triple12 ((((((triple14 ((triple3 triple1) -> rule4)) -> rule1) triple14) -> rule3)) -> rule2)) -> rule6) OR ((triple12 ((((((triple14 ((triple3 ((triple8) -> rule8)) -> rule4)) -> rule1) triple14) -> rule3)) -> rule2)) -> rule6))] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the cat.[(triple14)] The tiger needs the cat.[(triple15)] @1: The tiger chases the tiger.[(((triple9 triple14) -> rule3) OR ((((triple14 triple7) -> rule1) triple14) -> rule3) OR ((((triple14 ((triple3 triple1) -> rule4)) -> rule1) triple14) -> rule3) OR ((((triple14 ((triple3 ((triple8) -> rule8)) -> rule4)) -> rule1) triple14) -> rule3))] @2: The tiger likes the tiger.[(((triple10 ((triple9 triple14) -> rule3)) -> rule4) OR ((triple10 ((((triple14 triple7) -> rule1) triple14) -> rule3)) -> rule4) OR ((triple10 ((((triple14 ((triple3 triple1) -> rule4)) -> rule1) triple14) -> rule3)) -> rule4) OR ((triple10 ((((triple14 ((triple3 ((triple8) -> rule8)) -> rule4)) -> rule1) triple14) -> rule3)) -> rule4))] The tiger needs the tiger.[(((((triple9 triple14) -> rule3)) -> rule2) OR ((((((triple14 triple7) -> rule1) triple14) -> rule3)) -> rule2) OR ((((((triple14 ((triple3 triple1) -> rule4)) -> rule1) triple14) -> rule3)) -> rule2) OR ((((((triple14 ((triple3 ((triple8) -> rule8)) -> rule4)) -> rule1) triple14) -> rule3)) -> rule2))]