The dog eats the rabbit. The dog is big. The dog is blue. The dog is cold. The dog is nice. The dog is round. The dog sees the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is round. The rabbit sees the dog. The rabbit visits the dog. If the dog sees the rabbit and the dog is blue then the rabbit visits the dog. If something sees the dog then the dog eats the rabbit. If the dog is big then the dog eats the rabbit. If something visits the dog and it visits the rabbit then the rabbit eats the dog. If something visits the rabbit and the rabbit eats the dog then it is big. If something eats the dog then it visits the rabbit. If something is big and it eats the dog then the dog visits the rabbit. If the dog visits the rabbit and the rabbit visits the dog then the dog sees the rabbit.
The rabbit is not round.
@0: The dog eats the rabbit.[(triple1 OR ((triple14) -> rule2) OR ((triple2) -> rule3) OR ((((triple8 triple9) -> rule5)) -> rule3) OR ((((((((((triple9) -> rule6) triple9) -> rule5) triple9) -> rule7) triple9) -> rule5)) -> rule3))] The dog is big.[(triple2 OR ((triple8 triple9) -> rule5) OR ((((((((triple9) -> rule6) triple9) -> rule5) triple9) -> rule7) triple9) -> rule5))] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is nice.[(triple5)] The dog is round.[(triple6)] The dog sees the rabbit.[(triple7 OR ((triple8 triple15) -> rule8) OR ((((((((triple9) -> rule6) triple9) -> rule5) triple9) -> rule7) triple15) -> rule8))] The dog visits the rabbit.[(triple8 OR ((((((triple9) -> rule6) triple9) -> rule5) triple9) -> rule7))] The rabbit eats the dog.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is round.[(triple13)] The rabbit sees the dog.[(triple14)] The rabbit visits the dog.[(triple15 OR ((triple7 triple3) -> rule1))] @1: The rabbit visits the rabbit.[(((triple9) -> rule6))] @2: The rabbit is big.[(((((triple9) -> rule6) triple9) -> rule5))]