The bear sees the rabbit. The cow is big. The cow likes the dog. The cow likes the rabbit. The dog eats the rabbit. The dog likes the rabbit. The rabbit is round. If someone eats the dog then they like the cow. If someone is blue then they like the dog. If the rabbit likes the bear then the rabbit sees the bear. If someone likes the rabbit then the rabbit is kind. If someone is kind then they like the cow. If someone likes the rabbit then they are kind.
The dog does not like the cow.
@0: The bear sees the rabbit.[(triple1)] The cow is big.[(triple2)] The cow likes the dog.[(triple3)] The cow likes the rabbit.[(triple4)] The dog eats the rabbit.[(triple5)] The dog likes the rabbit.[(triple6)] The rabbit is round.[(triple7)] @1: The cow is kind.[(((triple4) -> rule6))] The dog is kind.[(((triple6) -> rule6))] The rabbit is kind.[(((triple4) -> rule4) OR ((triple6) -> rule4))] @2: The cow likes the cow.[(((((triple4) -> rule6)) -> rule5))] The dog likes the cow.[(((((triple6) -> rule6)) -> rule5))] The rabbit likes the cow.[(((((triple4) -> rule4)) -> rule5) OR ((((triple6) -> rule4)) -> rule5))]