The rabbit eats the tiger. The rabbit is green. The rabbit is rough. The rabbit likes the tiger. The rabbit visits the tiger. The tiger eats the rabbit. The tiger is kind. The tiger is nice. The tiger likes the rabbit. The tiger visits the rabbit. If someone is blue then they eat the rabbit. If someone visits the tiger then they eat the tiger. If someone eats the tiger and they visit the tiger then they are rough. If someone eats the tiger then the tiger visits the rabbit. If someone likes the tiger then the tiger visits the rabbit. If someone likes the tiger and the tiger likes the rabbit then the rabbit visits the tiger. If someone eats the rabbit and they visit the rabbit then they visit the tiger. If someone eats the tiger then the tiger likes the rabbit.
The rabbit visits the rabbit.
@0: The rabbit eats the tiger.[(triple1 OR ((triple5) -> rule2) OR ((((triple4 triple9) -> rule6)) -> rule2) OR ((((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2))] The rabbit is green.[(triple2)] The rabbit is rough.[(triple3 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple4 triple9) -> rule6)) -> rule3) OR ((((triple5) -> rule2) triple5) -> rule3) OR ((((triple5) -> rule2) ((triple4 triple9) -> rule6)) -> rule3) OR ((triple1 ((triple4 ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 triple9) -> rule6)) -> rule2) triple5) -> rule3) OR ((((triple5) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 triple9) -> rule6)) -> rule2) ((triple4 triple9) -> rule6)) -> rule3) OR ((((((triple4 triple9) -> rule6)) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple5) -> rule2) ((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 triple9) -> rule6)) -> rule2) ((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((triple4 ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) triple5) -> rule3) OR ((((triple5) -> rule2) ((triple4 ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple5) -> rule2) ((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 triple9) -> rule6)) -> rule3) OR ((((((triple4 triple9) -> rule6)) -> rule2) ((triple4 ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 triple9) -> rule6)) -> rule2) ((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) triple5) -> rule3) OR ((((((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 triple9) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule2) ((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6)) -> rule3))] The rabbit likes the tiger.[(triple4)] The rabbit visits the tiger.[(triple5 OR ((triple4 triple9) -> rule6) OR ((triple4 ((triple1) -> rule8)) -> rule6) OR ((triple4 ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8)) -> rule6) OR ((triple4 ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8)) -> rule6) OR ((triple4 ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8)) -> rule6))] The tiger eats the rabbit.[(triple6)] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger likes the rabbit.[(triple9 OR ((triple1) -> rule8) OR ((((triple5) -> rule2)) -> rule8) OR ((((((triple6 triple10) -> rule7)) -> rule2)) -> rule8) OR ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule8) OR ((((((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule2)) -> rule8))] The tiger visits the rabbit.[(triple10 OR ((triple1) -> rule4) OR ((triple4) -> rule5) OR ((((triple5) -> rule2)) -> rule4) OR ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4))] @1: The tiger visits the tiger.[(((triple6 triple10) -> rule7) OR ((triple6 ((triple1) -> rule4)) -> rule7) OR ((triple6 ((triple4) -> rule5)) -> rule7) OR ((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7))] @2: The tiger eats the tiger.[(((((triple6 triple10) -> rule7)) -> rule2) OR ((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2) OR ((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2) OR ((((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule2) OR ((((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule2))] @3: The tiger is rough.[(((((((triple6 triple10) -> rule7)) -> rule2) ((triple6 triple10) -> rule7)) -> rule3) OR ((((((triple6 triple10) -> rule7)) -> rule2) ((triple6 ((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 triple10) -> rule7)) -> rule2) ((triple6 ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2) ((triple6 triple10) -> rule7)) -> rule3) OR ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2) ((triple6 triple10) -> rule7)) -> rule3) OR ((((((triple6 triple10) -> rule7)) -> rule2) ((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2) ((triple6 ((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2) ((triple6 ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2) ((triple6 ((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2) ((triple6 ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2) ((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2) ((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 triple10) -> rule7)) -> rule3) OR ((((((triple6 triple10) -> rule7)) -> rule2) ((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((triple6 ((triple1) -> rule4)) -> rule7)) -> rule2) ((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((triple4) -> rule5)) -> rule7)) -> rule2) ((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 triple10) -> rule7)) -> rule3) OR ((((((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule2) ((triple6 ((((((triple4 triple9) -> rule6)) -> rule2)) -> rule4)) -> rule7)) -> rule3))]