The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is green. The dog is kind. The dog is rough. The dog is young. The dog visits the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit visits the dog. If someone visits the rabbit and they are green then the rabbit chases the dog. If someone is green and they visit the dog then the dog is big. If the dog chases the rabbit then the dog visits the rabbit.
The rabbit is not big.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is big.[(triple3 OR ((triple12 triple16) -> rule2))] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is rough.[(triple6)] The dog is young.[(triple7)] The dog visits the rabbit.[(triple8 OR ((triple1) -> rule3))] The rabbit chases the dog.[(triple9 OR ((triple8 triple4) -> rule1) OR ((((triple1) -> rule3) triple4) -> rule1))] The rabbit eats the dog.[(triple10)] The rabbit is big.[(triple11)] The rabbit is green.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is young.[(triple15)] The rabbit visits the dog.[(triple16)]