The rabbit chases the tiger. The rabbit is blue. The rabbit likes the tiger. The tiger chases the rabbit. The tiger is green. The tiger is nice. The tiger likes the rabbit. If someone likes the tiger and they like the rabbit then the rabbit needs the tiger. If someone needs the rabbit and they like the rabbit then they like the tiger. If someone needs the tiger then they chase the rabbit. If the rabbit is red and the rabbit chases the tiger then the tiger is red. If someone likes the tiger and they need the tiger then they chase the tiger. If the rabbit needs the tiger then the tiger likes the rabbit. If someone chases the tiger then the tiger is green. If someone likes the rabbit and they are nice then they need the rabbit.
The rabbit likes the tiger.
@0: The rabbit chases the tiger.[(triple1 OR ((triple3 ((((((triple7 triple6) -> rule8) triple7) -> rule2) triple7) -> rule1)) -> rule5))] The rabbit is blue.[(triple2)] The rabbit likes the tiger.[(triple3)] The tiger chases the rabbit.[(triple4)] The tiger is green.[(triple5 OR ((triple1) -> rule7) OR ((((triple3 ((((((triple7 triple6) -> rule8) triple7) -> rule2) triple7) -> rule1)) -> rule5)) -> rule7))] The tiger is nice.[(triple6)] The tiger likes the rabbit.[(triple7)] @1: The tiger needs the rabbit.[(((triple7 triple6) -> rule8))] @2: The tiger likes the tiger.[(((((triple7 triple6) -> rule8) triple7) -> rule2))] @3: The rabbit needs the tiger.[(((((((triple7 triple6) -> rule8) triple7) -> rule2) triple7) -> rule1))] @4: The rabbit chases the rabbit.[(((((((((triple7 triple6) -> rule8) triple7) -> rule2) triple7) -> rule1)) -> rule3))]