The rabbit chases the tiger. The rabbit is blue. The rabbit is not green. The rabbit is red. The rabbit is young. The rabbit sees the tiger. The rabbit visits the tiger. The tiger chases the rabbit. The tiger is blue. The tiger is green. The tiger is red. The tiger is not round. The tiger is young. The tiger sees the rabbit. The tiger visits the rabbit. If someone chases the rabbit and they are not round then the rabbit chases the tiger. If someone is blue then they are red.
The tiger is round.
@0: The rabbit chases the tiger.[(triple1 OR ((triple8 triple12) -> rule1))] The rabbit is blue.[(triple2)] The rabbit is not green.[(triple3)] The rabbit is red.[(triple4 OR ((triple2) -> rule2))] The rabbit is young.[(triple5)] The rabbit sees the tiger.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger is blue.[(triple9)] The tiger is green.[(triple10)] The tiger is not round.[(triple12)] The tiger is red.[(triple11 OR ((triple9) -> rule2))] The tiger is young.[(triple13)] The tiger sees the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)]