The dog chases the rabbit. The dog is green. The dog is kind. The dog is nice. The dog is round. The dog likes the rabbit. The dog does not need the rabbit. The rabbit chases the dog. The rabbit is not rough. The rabbit is not round. The rabbit likes the dog. The rabbit needs the dog. If something is nice and it chases the rabbit then the rabbit is green. If something needs the rabbit then the rabbit is nice. If something is kind then it chases the rabbit.
The dog does not need the dog.
@0: The dog chases the rabbit.[(triple1 OR ((triple3) -> rule3))] The dog does not need the rabbit.[(triple7)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5)] The dog likes the rabbit.[(triple6)] The rabbit chases the dog.[(triple8)] The rabbit is not rough.[(triple9)] The rabbit is not round.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the dog.[(triple12)] @1: The rabbit is green.[(((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1))]