The bear chases the tiger. The bear is big. The bear is cold. The bear is kind. The bear is red. The bear is young. The bear likes the tiger. The bear sees the tiger. The tiger chases the bear. The tiger is big. The tiger is cold. The tiger is kind. The tiger is red. The tiger is young. The tiger likes the bear. The tiger sees the bear. If something chases the tiger then the tiger likes the bear. If the tiger is kind then the tiger is big. All young things are cold. If something sees the tiger and the tiger is kind then the tiger sees the bear. If the tiger is big and the tiger likes the bear then the tiger sees the bear. If the tiger chases the bear then the bear sees the tiger. If something sees the bear then it is young. If the tiger chases the bear and the tiger is red then the bear chases the tiger.
The bear does not chase the bear.
@0: The bear chases the tiger.[(triple1 OR ((triple9 triple13) -> rule8))] The bear is big.[(triple2)] The bear is cold.[(triple3 OR ((triple6) -> rule3))] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear likes the tiger.[(triple7)] The bear sees the tiger.[(triple8 OR ((triple9) -> rule6))] The tiger chases the bear.[(triple9)] The tiger is big.[(triple10 OR ((triple12) -> rule2))] The tiger is cold.[(triple11 OR ((triple14) -> rule3) OR ((((triple16) -> rule7)) -> rule3) OR ((((((triple10 triple15) -> rule5)) -> rule7)) -> rule3) OR ((((((triple8 triple12) -> rule4)) -> rule7)) -> rule3) OR ((((((triple10 ((triple1) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) triple15) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple9) -> rule6) triple12) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7)) -> rule3))] The tiger is kind.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14 OR ((triple16) -> rule7) OR ((((triple10 triple15) -> rule5)) -> rule7) OR ((((triple8 triple12) -> rule4)) -> rule7) OR ((((triple10 ((triple1) -> rule1)) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) triple15) -> rule5)) -> rule7) OR ((((((triple9) -> rule6) triple12) -> rule4)) -> rule7) OR ((((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5)) -> rule7) OR ((((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7))] The tiger likes the bear.[(triple15 OR ((triple1) -> rule1) OR ((((triple9 triple13) -> rule8)) -> rule1))] The tiger sees the bear.[(triple16 OR ((triple10 triple15) -> rule5) OR ((triple8 triple12) -> rule4) OR ((triple10 ((triple1) -> rule1)) -> rule5) OR ((((triple12) -> rule2) triple15) -> rule5) OR ((((triple9) -> rule6) triple12) -> rule4) OR ((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5) OR ((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5) OR ((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5))]