The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit likes the tiger. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is big. The tiger is blue. The tiger is cold. The tiger is rough. The tiger likes the rabbit. If something is cold and it likes the rabbit then it chases the tiger. If something is red and blue then it likes the tiger. If something likes the tiger then the tiger is big. If something eats the tiger then the tiger likes the rabbit. If something eats the tiger and it chases the tiger then the tiger chases the rabbit. If something chases the tiger then it likes the tiger. If something chases the rabbit and it eats the rabbit then it eats the tiger. If the tiger eats the rabbit then the rabbit is big.
The rabbit does not chase the rabbit.
@0: The rabbit chases the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is big.[(triple3 OR ((triple10) -> rule8))] The rabbit is blue.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is red.[(triple6)] The rabbit is rough.[(triple7)] The rabbit likes the tiger.[(triple8 OR ((triple1) -> rule6) OR ((triple6 triple4) -> rule2))] The tiger chases the rabbit.[(triple9 OR ((triple2 triple1) -> rule5))] The tiger eats the rabbit.[(triple10)] The tiger is big.[(triple11 OR ((triple8) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple6 triple4) -> rule2)) -> rule3) OR ((((((triple13 triple15) -> rule1)) -> rule6)) -> rule3) OR ((((((triple13 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule3) OR ((((((triple13 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule1)) -> rule6)) -> rule3) OR ((((((triple13 ((((((triple2 triple1) -> rule5) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule6)) -> rule3))] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the rabbit.[(triple15 OR ((triple2) -> rule4) OR ((((triple9 triple10) -> rule7)) -> rule4) OR ((((((triple2 triple1) -> rule5) triple10) -> rule7)) -> rule4))] @1: The tiger chases the tiger.[(((triple13 triple15) -> rule1) OR ((triple13 ((triple2) -> rule4)) -> rule1) OR ((triple13 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule1) OR ((triple13 ((((((triple2 triple1) -> rule5) triple10) -> rule7)) -> rule4)) -> rule1))] The tiger eats the tiger.[(((triple9 triple10) -> rule7) OR ((((triple2 triple1) -> rule5) triple10) -> rule7))] @2: The tiger likes the tiger.[(((((triple13 triple15) -> rule1)) -> rule6) OR ((((triple13 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple13 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule1)) -> rule6) OR ((((triple13 ((((((triple2 triple1) -> rule5) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule6))]