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