The rabbit does not eat the tiger. The rabbit is cold. The rabbit is not green. The rabbit is kind. The rabbit is rough. The rabbit is not round. The rabbit needs the tiger. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is cold. The tiger is green. The tiger is kind. The tiger is rough. The tiger needs the rabbit. The tiger sees the rabbit. If someone is rough then they see the rabbit. If the rabbit is green then the rabbit sees the tiger. If someone sees the rabbit then the rabbit sees the tiger. If someone eats the rabbit and the rabbit is round then the rabbit needs the tiger. If someone needs the rabbit then the rabbit needs the tiger. If someone sees the rabbit and the rabbit eats the tiger then the tiger does not need the rabbit. If someone needs the rabbit and they are cold then they are round. If someone sees the tiger and the tiger eats the rabbit then the tiger is cold.
The rabbit does not eat the rabbit.
@0: The rabbit does not eat the tiger.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple4)] The rabbit is not green.[(triple3)] The rabbit is not round.[(triple6)] The rabbit is rough.[(triple5)] The rabbit needs the tiger.[(triple7 OR ((triple14) -> rule5))] The rabbit sees the tiger.[(triple8 OR ((triple15) -> rule3) OR ((((triple13) -> rule1)) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The tiger eats the rabbit.[(triple9)] The tiger is cold.[(triple10 OR ((triple8 triple9) -> rule8) OR ((((triple15) -> rule3) triple9) -> rule8) OR ((((((triple13) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple5) -> rule1)) -> rule3) triple9) -> rule8))] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger sees the rabbit.[(triple15 OR ((triple13) -> rule1))] @1: The rabbit sees the rabbit.[(((triple5) -> rule1))] The tiger is round.[(((triple14 triple10) -> rule7) OR ((triple14 ((triple8 triple9) -> rule8)) -> rule7) OR ((triple14 ((((triple15) -> rule3) triple9) -> rule8)) -> rule7) OR ((triple14 ((((((triple13) -> rule1)) -> rule3) triple9) -> rule8)) -> rule7) OR ((triple14 ((((((triple5) -> rule1)) -> rule3) triple9) -> rule8)) -> rule7))]