The rabbit chases the tiger. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit needs the tiger. The rabbit sees the tiger. The tiger chases the rabbit. The tiger is green. The tiger is kind. The tiger is nice. The tiger is young. The tiger needs the rabbit. The tiger sees the rabbit. If someone is kind then they see the rabbit. If someone sees the rabbit and they are nice then they chase the rabbit. If someone chases the tiger then the tiger sees the rabbit. If the rabbit chases the tiger then the tiger sees the rabbit. If someone sees the rabbit then the rabbit chases the tiger. If someone sees the rabbit then they are young. If the rabbit is green then the rabbit chases the tiger. If someone chases the rabbit and the rabbit is kind then they need the rabbit.
The rabbit does not chase the rabbit.
@0: The rabbit chases the tiger.[(triple1 OR ((triple15) -> rule5) OR ((triple3) -> rule7) OR ((((triple11) -> rule1)) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is young.[(triple6 OR ((((triple4) -> rule1)) -> rule6))] The rabbit needs the tiger.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger chases the rabbit.[(triple9 OR ((triple15 triple12) -> rule2) OR ((((triple1) -> rule3) triple12) -> rule2) OR ((((triple1) -> rule4) triple12) -> rule2) OR ((((triple11) -> rule1) triple12) -> rule2) OR ((((((triple3) -> rule7)) -> rule3) triple12) -> rule2) OR ((((((triple3) -> rule7)) -> rule4) triple12) -> rule2) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule3) triple12) -> rule2) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple12) -> rule2))] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is young.[(triple13 OR ((triple15) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple11) -> rule1)) -> rule6) OR ((((((triple3) -> rule7)) -> rule3)) -> rule6) OR ((((((triple3) -> rule7)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule4)) -> rule6))] The tiger needs the rabbit.[(triple14 OR ((triple9 triple4) -> rule8) OR ((((triple15 triple12) -> rule2) triple4) -> rule8) OR ((((((triple1) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((triple1) -> rule4) triple12) -> rule2) triple4) -> rule8) OR ((((((triple11) -> rule1) triple12) -> rule2) triple4) -> rule8) OR ((((((((triple3) -> rule7)) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((((triple3) -> rule7)) -> rule4) triple12) -> rule2) triple4) -> rule8) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple12) -> rule2) triple4) -> rule8))] The tiger sees the rabbit.[(triple15 OR ((triple1) -> rule3) OR ((triple1) -> rule4) OR ((triple11) -> rule1) OR ((((triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule7)) -> rule4) OR ((((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((triple4) -> rule1)) -> rule5)) -> rule4))] @1: The rabbit sees the rabbit.[(((triple4) -> rule1))] @2: The rabbit chases the rabbit.[(((((triple4) -> rule1) triple5) -> rule2))] @3: The rabbit needs the rabbit.[(((((((triple4) -> rule1) triple5) -> rule2) triple4) -> rule8))]