The dog chases the rabbit. The dog eats the rabbit. The dog is blue. The dog is nice. The dog likes the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is blue. The rabbit is round. The rabbit likes the dog. If someone chases the rabbit and the rabbit eats the dog then the rabbit is blue. If someone chases the dog and the dog is nice then they eat the rabbit. If someone is young and they chase the rabbit then they are round. If someone is young and round then they like the dog. If the dog chases the rabbit then the dog is young. Blue people are young.
The dog does not like the dog.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is blue.[(triple3)] The dog is nice.[(triple4)] The dog likes the rabbit.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit is blue.[(triple8 OR ((triple1 triple7) -> rule1))] The rabbit is round.[(triple9)] The rabbit likes the dog.[(triple10 OR ((((triple8) -> rule6) triple9) -> rule4) OR ((((((triple1 triple7) -> rule1)) -> rule6) triple9) -> rule4))] @1: The dog is young.[(((triple1) -> rule5) OR ((triple3) -> rule6))] The rabbit eats the rabbit.[(((triple6 triple4) -> rule2))] The rabbit is young.[(((triple8) -> rule6) OR ((((triple1 triple7) -> rule1)) -> rule6))] @2: The dog is round.[(((((triple1) -> rule5) triple1) -> rule3) OR ((((triple3) -> rule6) triple1) -> rule3))] @3: The dog likes the dog.[(((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4))]