The rabbit is big. The rabbit is blue. The rabbit is not green. The rabbit is round. The rabbit likes the tiger. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is big. The tiger is blue. The tiger is not green. The tiger is kind. The tiger is round. The tiger does not like the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If something sees the tiger then it does not like the rabbit. If the tiger sees the rabbit and the rabbit is big then the rabbit likes the tiger. If something sees the rabbit and the rabbit does not see the tiger then the tiger does not like the rabbit.
The rabbit is not big.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is not green.[(triple3)] The rabbit is round.[(triple4)] The rabbit likes the tiger.[(triple5 OR ((triple14 triple1) -> rule2))] The rabbit sees the tiger.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger does not like the rabbit.[(triple13)] The tiger is big.[(triple8)] The tiger is blue.[(triple9)] The tiger is kind.[(triple11)] The tiger is not green.[(triple10)] The tiger is round.[(triple12)] The tiger sees the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit does not like the rabbit.[(((triple6) -> rule1))]