The dog chases the rabbit. The dog is blue. The dog is rough. The dog is round. The dog likes the rabbit. The dog sees the rabbit. The rabbit is blue. The rabbit is rough. The rabbit is not round. The rabbit sees the dog. If something is rough and it likes the rabbit then it sees the dog. If the dog likes the rabbit then the rabbit likes the dog. If the dog chases the rabbit then the rabbit likes the dog. If something is rough and it chases the rabbit then the rabbit chases the dog. If something likes the rabbit then the rabbit chases the dog. If something is green then it chases the rabbit.
The rabbit is not rough.
@0: The dog chases the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog likes the rabbit.[(triple5)] The dog sees the rabbit.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is not round.[(triple9)] The rabbit is rough.[(triple8)] The rabbit sees the dog.[(triple10)] @1: The dog sees the dog.[(((triple3 triple5) -> rule1))] The rabbit chases the dog.[(((triple5) -> rule5) OR ((triple3 triple1) -> rule4))] The rabbit likes the dog.[(((triple1) -> rule3) OR ((triple5) -> rule2))]