The rabbit chases the tiger. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit likes the tiger. The rabbit visits the tiger. The tiger chases the rabbit. The tiger is big. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. The tiger likes the rabbit. The tiger visits the rabbit. If something chases the tiger and the tiger is red then it visits the rabbit. If something visits the rabbit and the rabbit likes the tiger then the tiger is nice. If something is red and it chases the rabbit then the rabbit is nice. If something likes the rabbit and it likes the tiger then it is green. If something is kind then it visits the rabbit. If the rabbit visits the tiger and the rabbit chases the tiger then the rabbit likes the tiger. If the rabbit chases the tiger then the tiger visits the rabbit. If something is big then it chases the tiger.
The rabbit chases the rabbit.
@0: The rabbit chases the tiger.[(triple1 OR ((triple2) -> rule8))] The rabbit is big.[(triple2)] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is nice.[(triple5 OR ((triple14 triple9) -> rule3))] The rabbit is red.[(triple6)] The rabbit likes the tiger.[(triple7 OR ((triple8 triple1) -> rule6) OR ((triple8 ((triple2) -> rule8)) -> rule6))] The rabbit visits the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13 OR ((triple16 triple7) -> rule2) OR ((triple16 ((triple8 triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule7) triple7) -> rule2) OR ((((triple12) -> rule5) triple7) -> rule2) OR ((((triple4) -> rule5) triple7) -> rule2) OR ((((triple1 triple14) -> rule1) triple7) -> rule2) OR ((((triple1) -> rule7) ((triple8 triple1) -> rule6)) -> rule2) OR ((((triple12) -> rule5) ((triple8 triple1) -> rule6)) -> rule2) OR ((((triple4) -> rule5) ((triple8 triple1) -> rule6)) -> rule2) OR ((((triple1 triple14) -> rule1) ((triple8 triple1) -> rule6)) -> rule2) OR ((triple16 ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((((triple2) -> rule8)) -> rule7) triple7) -> rule2) OR ((((((triple10) -> rule8) triple14) -> rule1) triple7) -> rule2) OR ((((((triple2) -> rule8) triple14) -> rule1) triple7) -> rule2) OR ((((triple1) -> rule7) ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((triple12) -> rule5) ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((triple4) -> rule5) ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((((triple2) -> rule8)) -> rule7) ((triple8 triple1) -> rule6)) -> rule2) OR ((((triple1 triple14) -> rule1) ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((((triple10) -> rule8) triple14) -> rule1) ((triple8 triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule8) triple14) -> rule1) ((triple8 triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule8)) -> rule7) ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((((triple10) -> rule8) triple14) -> rule1) ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((((triple2) -> rule8) triple14) -> rule1) ((triple8 ((triple2) -> rule8)) -> rule6)) -> rule2))] The tiger is red.[(triple14)] The tiger likes the rabbit.[(triple15)] The tiger visits the rabbit.[(triple16 OR ((triple1) -> rule7) OR ((triple12) -> rule5) OR ((((triple2) -> rule8)) -> rule7) OR ((((triple10) -> rule8) triple14) -> rule1))] @1: The rabbit visits the rabbit.[(((triple4) -> rule5) OR ((triple1 triple14) -> rule1) OR ((((triple2) -> rule8) triple14) -> rule1))] The tiger chases the tiger.[(((triple10) -> rule8))]