The dog does not chase the rabbit. The dog is big. The dog is cold. The dog is nice. The dog is rough. The dog is not young. The dog likes the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit is big. The rabbit is cold. The rabbit is rough. The rabbit is young. The rabbit likes the dog. The rabbit sees the dog. If something sees the rabbit then the rabbit chases the dog. If something sees the rabbit and it is not young then the rabbit chases the dog. If something is rough and big then it sees the rabbit. If something sees the rabbit then it likes the rabbit. If something likes the dog then it is cold. If something sees the dog then the dog is cold.
The dog does not like the dog.
@0: The dog does not chase the rabbit.[(triple1)] The dog is big.[(triple2)] The dog is cold.[(triple3 OR ((triple15) -> rule6))] The dog is nice.[(triple4)] The dog is not young.[(triple6)] The dog is rough.[(triple5)] The dog likes the rabbit.[(triple7 OR ((triple8) -> rule4) OR ((((triple5 triple2) -> rule3)) -> rule4))] The dog sees the rabbit.[(triple8 OR ((triple5 triple2) -> rule3))] The rabbit chases the dog.[(triple9 OR ((triple8) -> rule1) OR ((triple8 triple6) -> rule2) OR ((((triple12 triple10) -> rule3)) -> rule1) OR ((((triple5 triple2) -> rule3)) -> rule1) OR ((((triple5 triple2) -> rule3) triple6) -> rule2))] The rabbit is big.[(triple10)] The rabbit is cold.[(triple11 OR ((triple14) -> rule5))] The rabbit is rough.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The rabbit sees the rabbit.[(((triple12 triple10) -> rule3))] @2: The rabbit likes the rabbit.[(((((triple12 triple10) -> rule3)) -> rule4))]