The dog eats the rabbit. The dog is cold. The dog is green. The dog is nice. The dog is rough. The dog is young. The dog needs the rabbit. The dog sees the rabbit. The rabbit eats the dog. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is young. The rabbit needs the dog. The rabbit sees the dog. If something sees the dog and it sees the rabbit then the rabbit is nice. If something needs the dog and it needs the rabbit then it sees the rabbit. If something needs the rabbit then it eats the rabbit. If the dog is young then the dog is green. If something needs the rabbit then the rabbit sees the dog. If something needs the dog and it eats the dog then it is cold. If something is rough then it eats the rabbit. If something is cold and it needs the rabbit then the rabbit is rough.
The dog sees the dog.
@0: The dog eats the rabbit.[(triple1 OR ((triple5) -> rule7) OR ((triple7) -> rule3))] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple6) -> rule4))] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog needs the rabbit.[(triple7)] The dog sees the rabbit.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit is cold.[(triple10 OR ((triple15 triple9) -> rule6))] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is rough.[(triple13 OR ((triple2 triple7) -> rule8))] The rabbit is young.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit sees the dog.[(triple16 OR ((triple7) -> rule5))] @1: The rabbit eats the rabbit.[(((triple13) -> rule7) OR ((((triple2 triple7) -> rule8)) -> rule7))]