The cat chases the tiger. The cat is big. The cat is red. The cat is rough. The cat is young. The cat needs the tiger. The cat sees the tiger. The tiger chases the cat. The tiger is red. The tiger is rough. The tiger is young. The tiger sees the cat. If someone chases the cat and they see the cat then the cat is young. If the tiger chases the cat then the tiger sees the cat. If someone needs the cat then they are young. If someone sees the cat then they chase the tiger. If the tiger sees the cat and the cat chases the tiger then the tiger is kind. If someone needs the tiger and the tiger sees the cat then they see the tiger. If someone chases the cat and they are rough then they see the cat. If someone is rough and they chase the tiger then they need the cat.
The cat does not chase the tiger.
@0: The cat chases the tiger.[(triple1)] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5 OR ((triple8 triple12) -> rule1) OR ((((triple4 triple1) -> rule8)) -> rule3) OR ((triple8 ((triple8) -> rule2)) -> rule1) OR ((triple8 ((triple8 triple10) -> rule7)) -> rule1))] The cat needs the tiger.[(triple6)] The cat sees the tiger.[(triple7 OR ((triple6 triple12) -> rule6) OR ((triple6 ((triple8) -> rule2)) -> rule6) OR ((triple6 ((triple8 triple10) -> rule7)) -> rule6))] The tiger chases the cat.[(triple8)] The tiger is red.[(triple9)] The tiger is rough.[(triple10)] The tiger is young.[(triple11 OR ((((triple10 ((triple12) -> rule4)) -> rule8)) -> rule3) OR ((((triple10 ((((triple8) -> rule2)) -> rule4)) -> rule8)) -> rule3) OR ((((triple10 ((((triple8 triple10) -> rule7)) -> rule4)) -> rule8)) -> rule3))] The tiger sees the cat.[(triple12 OR ((triple8) -> rule2) OR ((triple8 triple10) -> rule7))] @1: The cat needs the cat.[(((triple4 triple1) -> rule8))] The tiger chases the tiger.[(((triple12) -> rule4) OR ((((triple8) -> rule2)) -> rule4) OR ((((triple8 triple10) -> rule7)) -> rule4))] The tiger is kind.[(((triple12 triple1) -> rule5) OR ((((triple8) -> rule2) triple1) -> rule5) OR ((((triple8 triple10) -> rule7) triple1) -> rule5))] @2: The tiger needs the cat.[(((triple10 ((triple12) -> rule4)) -> rule8) OR ((triple10 ((((triple8) -> rule2)) -> rule4)) -> rule8) OR ((triple10 ((((triple8 triple10) -> rule7)) -> rule4)) -> rule8))]