The dog eats the rabbit. The dog is cold. The dog is round. The dog likes the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit is cold. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit likes the dog. The rabbit visits the dog. If the rabbit eats the dog and the rabbit likes the dog then the rabbit visits the dog. If someone visits the rabbit and the rabbit is round then the rabbit likes the dog. If someone likes the dog then they are young.
The dog is not young.
@0: The dog eats the rabbit.[(triple1)] The dog is cold.[(triple2)] The dog is round.[(triple3)] The dog likes the rabbit.[(triple4)] The dog visits the rabbit.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is round.[(triple9)] The rabbit is young.[(triple10 OR ((triple11) -> rule3) OR ((((triple5 triple9) -> rule2)) -> rule3))] The rabbit likes the dog.[(triple11 OR ((triple5 triple9) -> rule2))] The rabbit visits the dog.[(triple12 OR ((triple6 triple11) -> rule1) OR ((triple6 ((triple5 triple9) -> rule2)) -> rule1))]