The dog is young. The lion eats the dog. The lion is kind. The lion sees the dog. The lion sees the rabbit. The mouse is young. The mouse likes the dog. The rabbit eats the dog. The rabbit is rough. The rabbit likes the lion. If someone is red then they like the mouse. If someone likes the dog and they are red then the dog sees the mouse. If someone eats the mouse then the mouse sees the lion. If the dog likes the lion and the lion is rough then the lion sees the mouse. If someone is kind then they see the rabbit. If the rabbit is rough then the rabbit is red. If someone eats the lion then they like the mouse. If someone likes the mouse then the mouse eats the lion.
The rabbit is not kind.
@0: The dog is young.[(triple1)] The lion eats the dog.[(triple2)] The lion is kind.[(triple3)] The lion sees the dog.[(triple4)] The lion sees the rabbit.[(triple5 OR ((triple3) -> rule5))] The mouse is young.[(triple6)] The mouse likes the dog.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is rough.[(triple9)] The rabbit likes the lion.[(triple10)] @1: The rabbit is red.[(((triple9) -> rule6))] @2: The rabbit likes the mouse.[(((((triple9) -> rule6)) -> rule1))] @3: The mouse eats the lion.[(((((((triple9) -> rule6)) -> rule1)) -> rule8))] @4: The mouse likes the mouse.[(((((((((triple9) -> rule6)) -> rule1)) -> rule8)) -> rule7))]