The dog chases the mouse. The dog eats the rabbit. The dog is nice. The dog is young. The dog likes the rabbit. The mouse chases the dog. The mouse eats the rabbit. The mouse is nice. The rabbit chases the dog. The rabbit chases the mouse. The rabbit eats the dog. The rabbit eats the mouse. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit likes the dog. If something is kind and young then it likes the rabbit. If something chases the mouse then the mouse is young. If something chases the dog and it likes the rabbit then the dog eats the mouse. If something eats the rabbit and the rabbit eats the mouse then the mouse is kind. If the rabbit chases the dog then the rabbit is rough. If something chases the dog and it is nice then the dog chases the rabbit. If something eats the dog and the dog is red then the dog likes the mouse. If something likes the mouse then it eats the mouse.
The mouse likes the rabbit.
@0: The dog chases the mouse.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is nice.[(triple3)] The dog is young.[(triple4)] The dog likes the rabbit.[(triple5)] The mouse chases the dog.[(triple6)] The mouse eats the rabbit.[(triple7)] The mouse is nice.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is red.[(triple13)] The rabbit is rough.[(triple14 OR ((triple9) -> rule5))] The rabbit is young.[(triple15)] The rabbit likes the dog.[(triple16)] @1: The dog chases the rabbit.[(((triple6 triple8) -> rule6))] The mouse is kind.[(((triple2 triple12) -> rule4) OR ((triple7 triple12) -> rule4))] The mouse is young.[(((triple1) -> rule2) OR ((triple10) -> rule2))] @2: The mouse likes the rabbit.[(((((triple2 triple12) -> rule4) ((triple1) -> rule2)) -> rule1) OR ((((triple2 triple12) -> rule4) ((triple10) -> rule2)) -> rule1) OR ((((triple7 triple12) -> rule4) ((triple1) -> rule2)) -> rule1) OR ((((triple7 triple12) -> rule4) ((triple10) -> rule2)) -> rule1))] @3: The dog eats the mouse.[(((triple6 ((((triple2 triple12) -> rule4) ((triple1) -> rule2)) -> rule1)) -> rule3) OR ((triple6 ((((triple2 triple12) -> rule4) ((triple10) -> rule2)) -> rule1)) -> rule3) OR ((triple6 ((((triple7 triple12) -> rule4) ((triple1) -> rule2)) -> rule1)) -> rule3) OR ((triple6 ((((triple7 triple12) -> rule4) ((triple10) -> rule2)) -> rule1)) -> rule3))]