The rabbit chases the tiger. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the tiger. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is green. The tiger is round. The tiger likes the rabbit. The tiger needs the rabbit. If someone needs the rabbit and they chase the rabbit then they like the tiger. If someone needs the rabbit and they like the tiger then the tiger chases the rabbit. If someone is red then they like the tiger. If someone is nice then they chase the tiger. If the rabbit chases the tiger then the rabbit needs the tiger. If someone is round then they are big. If someone likes the tiger then the tiger needs the rabbit. If someone likes the tiger then the tiger is big.
The rabbit is not red.
@0: The rabbit chases the tiger.[(triple1 OR ((triple4) -> rule4))] The rabbit is big.[(triple2)] The rabbit is green.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit likes the tiger.[(triple6 OR ((triple5) -> rule3))] The rabbit needs the tiger.[(triple7 OR ((triple1) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] The tiger chases the rabbit.[(triple8)] The tiger is green.[(triple9)] The tiger is round.[(triple10)] The tiger likes the rabbit.[(triple11)] The tiger needs the rabbit.[(triple12 OR ((triple6) -> rule7) OR ((((triple5) -> rule3)) -> rule7))] @1: The tiger is big.[(((triple10) -> rule6) OR ((triple6) -> rule8) OR ((((triple5) -> rule3)) -> rule8) OR ((((triple12 triple8) -> rule1)) -> rule8) OR ((((((triple6) -> rule7) triple8) -> rule1)) -> rule8) OR ((((((((triple5) -> rule3)) -> rule7) triple8) -> rule1)) -> rule8))] The tiger likes the tiger.[(((triple12 triple8) -> rule1) OR ((((triple6) -> rule7) triple8) -> rule1) OR ((((((triple5) -> rule3)) -> rule7) triple8) -> rule1))]